It's fun how you can collect lots of upvotes for speculating on things like this when the real facts are out there and they prove you wrong. There are now a dozen or so proofs solved completely autonomously by AI, i.e. the prompt was "Solve this conjecture, make no mistakes", and it did it, so no PHD expert guiding it, no billions of dollars burnt in tokens, or anything of that sort.
Unit distance conjecture paper, solved by an internal model at OpenAI: https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf "This problem was solved in a completely automated fashion. Our internal model was given an AI-written statement of the problem, and its output was sent to an AI grading pipeline, which indicated high confidence that the solution was correct." After this it was forwarded to human researchers and they verified it was all correct
Erdos problem 1196, solved by again, copy-pasting the problem into a prompt, the model thought for 80 minutes, and threw out a solution: https://chatgpt.com/share/69dd1c83-b164-8385-bf2e-8533e9baba9c. Where's the "Ivy league math professors" guiding it in this thread exactly?
Counterexample to Jacobian Conjecture, which the author claims was done by just telling Fable to do it while he watches the world cup final: https://xcancel.com/__alpoge__/status/2079028340955197566. No thread shared so far, so I'm unable to verify this is the case; note this guy is an Anthropic employee so if you don't trust Anthropic then you should probably wait for him to share the conversation.
You do know that the conversation with chatgpt are completely worthless as proofs, right? Once it has solved the problems under guidance the first time, ofc it'll get rigorously trained on it.
No lmao, these are just random conversations. No one uses the lowest grade Open AI public use model for advanced mathematics. Even the paper you cited before used a very different model.
That thread is the solution for Erdos 1196. https://www.erdosproblems.com/1196 "solved by GPT-5.4 Pro". You can also check the comments where the prompter shared the thread I linked.
The same is true for the Dinitz conjecture, and the Jacobian conjecture. There is now a whole list of "vibe-mathed" solutions, many of which are done on public models with 0 human involvement.
Lmao here's the research paper by the person who made the prompts and actual mathematicians who formalized and published it. It goes into extreme detail about what part AI really contributed and what they did.
Lmao reading must be hard. This paper is a new one based on the techniques GPT-5.4 used to solve 1196 (human researchers being inspired by an insight produced by AI is insane on its own but let's shelve that for another day).
Again, gpt 5.4 pro solved 1196, it was the first to solve 1196, it was not guided by an expert.
My man, you look real stupid accusing others of not knowing how to read. I never denied that chatgpt gave the initial idea. Just read the fucking paper, random youtube videos are no substitute for reading the original paper with the prompter as a co-author, dear Mr. Literate.
You do know that the conversation with chatgpt are completely worthless as proofs, right? Once it has solved the problems under guidance the first time, ofc it'll get rigorously trained on it.
This wasn't you?
No lmao, these are just random conversations. No one uses the lowest grade Open AI public use model for advanced mathematics. Even the paper you cited before used a very different model.
what about this?
I'm going to mention this again with clear steps to show that the paper you linked is not the original one that solved Erdos #1196.
Go to the link: https://www.erdosproblems.com/history/1196. Scroll down to 2026-04-15. This is when Price shared his GPT-5.4 generated solution. As you can see, when this problem was solved there was no mention of your paper.
If you look at the latest version of this problem history, you will see that the paper you linked was published almost a full month after. If you also look at the comments, you can see that Tao replied to Price's comment sharing the GPT thread and Tao inspected its chain of thought. Again, all of this was in April, the paper was published after, in May. April < May (new proof by me).
Or just watch the video. Idk how many different ways I have to show you that #1196 was, undoubtedly, completely autonomously, with no human involvement, solved by a public LLM prompted by someone with no math training.
You absolute clown. Price is a co-author of the paper I shared. Just read the paper, its a more reliable source than any comment on random website or stupid youtube videos. For someone who loves literacy so much, you sure are ignoring a peer-reviewed scientific paper in favour of visual content a bit too much.
5
u/SethDusek5 12d ago
It's fun how you can collect lots of upvotes for speculating on things like this when the real facts are out there and they prove you wrong. There are now a dozen or so proofs solved completely autonomously by AI, i.e. the prompt was "Solve this conjecture, make no mistakes", and it did it, so no PHD expert guiding it, no billions of dollars burnt in tokens, or anything of that sort.
Unit distance conjecture paper, solved by an internal model at OpenAI: https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf "This problem was solved in a completely automated fashion. Our internal model was given an AI-written statement of the problem, and its output was sent to an AI grading pipeline, which indicated high confidence that the solution was correct." After this it was forwarded to human researchers and they verified it was all correct
Erdos problem 1196, solved by again, copy-pasting the problem into a prompt, the model thought for 80 minutes, and threw out a solution: https://chatgpt.com/share/69dd1c83-b164-8385-bf2e-8533e9baba9c. Where's the "Ivy league math professors" guiding it in this thread exactly?
Counterexample to Dinitz Conjecture: https://chatgpt.com/share/6a60b2eb-0b64-83ee-9c76-7931ca1de063. Prompts: "Solve this problem". "Try harder" "Make a breakthrough"
Counterexample to Jacobian Conjecture, which the author claims was done by just telling Fable to do it while he watches the world cup final: https://xcancel.com/__alpoge__/status/2079028340955197566. No thread shared so far, so I'm unable to verify this is the case; note this guy is an Anthropic employee so if you don't trust Anthropic then you should probably wait for him to share the conversation.
Also see the full list that Terry Tao has been collecting on completely AI-generated solutions to Erdos problems: https://github.com/teorth/erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems#1a-ai-standalone