One thing seems for certain is that OpenAI models hold a distinct lead in academics over Anthropic and Google models. For those in academics, is OpenAI the vendor of choice?
I think the mathematicians on X are all using GPT 5.5 Pro
An OpenAI model has disproved a central conjecture in discrete geometry
31–40 of 1001 posts
Re: An OpenAI model has disproved a central conjecture in discrete geometry
#32As I have stated before, AI will win a fields medal before it can manage a McDonald's A difficult part was constructing a chess board on which to play math (Lean). Now it's just pattern recognition and computation. LLMs are just the beginning, we'll see more specialized math AI resembling StockFish soon.
Lee Sedol, Move 37 https://www.reddit.com/r/singularity/comments/1l0z5yk/the_mo...
Edit: I wasn't necessarily disagreeing. But on second thought the chessboard in this math analogy is being built, not just played in. This Hardy quote comes to mind https://www.goodreads.com/quotes/902543-it-proof-by-contradi...
Re: An OpenAI model has disproved a central conjecture in discrete geometry
#33One thing seems for certain is that OpenAI models hold a distinct lead in academics over Anthropic and Google models. For those in academics, is OpenAI the vendor of choice?
From my limited testing, Gemini can dig out hard to find information given you detail your prompt enough.
Given that Google is the "web indexing company", finding hard to find things is natural for their models, and this is the only way I need these models for.
If I can't find it for a week digging the internet, I give it a colossal prompt, and it digs out what I'm looking for.
Re: An OpenAI model has disproved a central conjecture in discrete geometry
#34ok. so what are the implications of for math
Re: An OpenAI model has disproved a central conjecture in discrete geometry
#35AI isn't going to supercharge science but I wouldn't be as dismissive as other posters here.
To be strict, Math is not Science.
But AI is supercharging Math like there is no tomorrow.
Re: An OpenAI model has disproved a central conjecture in discrete geometry
#36Is there a reason why we only hear of Erdos problems being solved? I would imagine there are a myriad of other unsolved problems in math, but every single ChatGPT "breakthrough in math" I come across on r/singularity and r/accelerate are Erdos problems.
Afaik this is because there is a community and database around them.
Re: An OpenAI model has disproved a central conjecture in discrete geometry
#37I guess if this stuff is going to make my employment more precarious, it’d be nice if it also makes some scientific breakthroughs. We’ll see
Re: An OpenAI model has disproved a central conjecture in discrete geometry
#38The summarized chain of thought for this task (linked in the blogpost) is 125 pages. That's an insane scale of reasoning, quite akin to what Anthropic has been teasing with Mythos.
Re: An OpenAI model has disproved a central conjecture in discrete geometry
#39One thing seems for certain is that OpenAI models hold a distinct lead in academics over Anthropic and Google models. For those in academics, is OpenAI the vendor of choice?
Gemini seems better trained for learning and I think Google has made a more deliberate effort to optimize for pedagoical best practices. (E.g. tutoring, formative feedback, cognitive load optimization) As far as academic research is concerned (e.g. this threads topic), I can't say.
Gemini is like someone with short-term memory loss; after the first response, it forgets everything. That being said, I have checked multiple model and gemini can sometime give accurate answer.
Re: An OpenAI model has disproved a central conjecture in discrete geometry
#40To the “LLMs just interpolate their training data” crowd:
Ayer, and in a different way early Wittgenstein, held that mathematical truths don’t report new facts about the world. Proofs unfold what is already implicit in axioms, definitions, symbols, and rules.
I think that idea is deeply fascinating, AND have no problem that we still credit mathematicians with discoveries.
So either “recombining existing material” isn’t disqualifying, or a lot of Fields Medals need to be returned.