Thread

1. contubernio · 1789824042 · focus · HN ↗

   I'm a professional mathematician. Today I proved what for me is a very solid theorem. It's something I had thought about for a few years. With a few weeks of serious use of AI I've found a proof that I am currently trying to write up, but which appears correct. The change in the workflow is enormous, but so is what one can do if one has clear what to do and how to do it.

   1. visarga · 1789883866 · focus · HN ↗

      Not every problem will receive $20M in funding to be solved by AI; for the rest, good human guidance will have to suffice. Labs only pulled this stunt because they wanted to show investors how powerful their models are on their own. But look again at the cost of that army of 10,000 SOTA agents. At the very least, I foresee a need for humans to decide when costly AI resources should be committed to a specific search plan. Grant review remains irreducibly human because it involves choosing which directions to fund and weighing opportunity costs: taking one path forecloses others.

Unofficial Hacker News client; not affiliated with Y Combinator.