Discussion

• @openai @openai on x

  This result points to something larger: AI systems are becoming capable of holding together long, difficult chains of reasoning, connecting ideas across distant fields, and surfacing paths researchers may not have explored. We believe those same abilities will soon accelerate

• @tenobrus @tenobrus on x

  this should feel surprising. in some sense it's objectively very big news. but this was so clearly the trajectory we were on that it actually just feels like another normal day. life on the METR trendline.

• @deanwball Dean W. Ball on x

  Smile: a renaissance is upon us.

• @deryatr_ Derya Unutmaz on x

  This is a major turning point or a milestone in the impact of AI on solving math problems! The breakthrough was through an internal OpenAI model, which is mind-blowing 🤯. That's all for now and be ready for arrival to the next checkpoint☺️

• @alexwei_ Alexander Wei on x

  1/ Ten months ago, I was ecstatic that AI could win IMO gold. Today, that excitement feels quaint: an internal @OpenAI model has refuted Erdos's unit distance conjecture—a research result that one could recommend “acceptance without any hesitation” to the Annals of Mathematics.

• @gdb Greg Brockman on x

  An OpenAI model has achieved a major breakthrough in mathematics, by disproving a central conjecture in discrete geometry that was first posed by Paul Erdős in 1946. This is the first time AI has autonomously solved a prominent open problem central to a field of mathematics.

• @joshgans Joshua Gans on x

  Journals have an explicit policy of not publishing AI authored work. So what will that mean here? They can't stop AI contributing to knowledge. Can they stop it being cited?

• @emostaque Emad on x

  Once AI starts making solving open problems in novel ways it won't stop. We are entering the final stage of human solutions to open problems like this. Feels weird, doesn't it?

• @polynoamial Noam Brown on x

  Today, we're sharing that a general-purpose internal @openai model achieved a breakthrough on one of the best-known combinatorial geometry problems. Less than 1 year ago frontier AI models were at IMO gold-level performance. I expect this pace of progress to continue.

• @openai @openai on x

  The proof came from a general-purpose reasoning model, not a system built specifically to solve math problems or this problem in particular, and represents an important milestone for the math and AI communities. https://openai.com/...

• @openai @openai on x

  Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids. An OpenAI model has now disproved that [video]

• r/technology r on reddit

  An OpenAI model has disproved a central conjecture in discrete geometry

• r/singularity r on reddit

  OpenAI general purpose model had a breakthrough on famous 80 year old Erdos problem.  “This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics”

• r/accelerate r on reddit

  Another win for the parrots: An OpenAI model has disproved a central conjecture in discrete geometry

• r/OpenAI r on reddit

  An OpenAI model has disproved a central conjecture in discrete geometry

• @sama Sam Altman on x

  a general-purpose model solved a major open problem in mathematics. we'll be saying this a lot over the coming years, but this is a kinda big milestone. i'm very excited for AI to greatly extend our understanding of the world, but still, i have complicated feelings today.

• r/mathematics r on reddit

  OpenAI model produces a counterexample to Erdős's conjectured unit-distance bound

• r/artificial r on reddit

  An OpenAI model has disproved a central conjecture in discrete geometry

• r/singularity r on reddit

  An OpenAI model has disproved a central conjecture in discrete geometry

• @basedjensen @basedjensen on x

  Don't worry guys it's fancy auto complete

• Olga Holtz Olga Holtz on linkedin

  Today's OpenAI announcement on the planar unit distance problem should end one debate and start a more interesting one. …

• @timkellogg.me Tim Kellogg on bluesky

  the wild thing is that, even today, you can hire AI consultants who will come in and tell you that LLMs can't do math [embedded post]

• r/antiai r on reddit

  What do you think of this?

• r/aiwars r on reddit

  An OpenAI model has disproved a central conjecture in discrete geometry