Re:An OpenAI model has disproved a central conjecture in dis...
by astrange on Wednesday May 20, 2026 @07:40PM
(#48215887)
Here's a Fields Medalist commenting who doesn't seem to believe that.
Re:An OpenAI model has disproved a central conjecture in dis...
by awesome_dude on Wednesday May 20, 2026 @07:53PM
(#48215976)
Um - all I see is
> Timothy Gowers @wtgowers
> @wtgowers
> If you are a mathematician, then you may want to make sure you are sitting down before reading further.
If your refutation requires someone to have an account, login, and read something - it's meaningless
Re:An OpenAI model has disproved a central conjecture in dis...
by defrost on Wednesday May 20, 2026 @07:59PM
(#48216026)
Try https://xcancel.com/wtgowers/status/2057175727271800912
it's readable to most, it's annoying having to swamp through ex-Twitter .. but there are work around's.
Re:An OpenAI model has disproved a central conjecture in dis...
by awesome_dude on Wednesday May 20, 2026 @08:11PM
(#48216111)
Thanks - I'll read that and the above linked OpenAI PR
But, I remain sceptical
Re:An OpenAI model has disproved a central conjecture in dis...
by defrost on Wednesday May 20, 2026 @08:28PM
(#48216226)
The (linked by OpenAI) comment paper by various tangential mathematicians was the most interesting read from my PoV:
https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29a...
it includes the longer remarks by Gowers & others.
It won't because even though it looks clever to you, people who /do/ understand math and LLMs understand that LLMs /are/ regurgitating
Why does your LLM need you to tell it to look in the first place? Why isn't just telling us all the answers to unsolved conjectures known and unknown?
Why isn't the LLM just telling us all the answers to all the problems we are facing?
Why isn't the LLM telling us, step by step with zero error, how to build the machine that can answer the ultimate question?