alt Hacker NewsDid an AI do that on its own though? I heard it was human mathematicians using a sophisticated machine as a tool.
Replies
broast • today at 1:57 PM
The way frontier models work, that loop will get compressed to a one-shot within a version or two
simianwords • today at 2:47 PM
> I heard it was human mathematicians using a sophisticated machine as a tool.
where did you "hear" this? OpenAI said they only prompted it and it solved the problem in one shot without any help
All of the latest big proofs were driven by professional human mathematicians steering and priming the models, yes.
All of the best AI-made software projects are also driven by experienced human software developers steering and priming the models. Does that mean the projects "aren't made by AI"?
No, it just means AI is not quite good enough yet to fully replace humans, and, so, unsurprisingly, the best results will be obtained from people who are already great at a field and who take the time to squeeze as much force multiplication out of LLMs as possible. The AI is still doing well over 95% of the significant work.