Discrete Geometry

2 items

NEWS↑ trendingReddit r/MachineLearning·20d ago

OpenAI claims a general-purpose reasoning model found a counterexample to Erdos's unit-distance bound [D]

OpenAI announced today that one of its general-purpose reasoning models found a construction disproving a conjectured upper bound in Erdős’s planar unit-distance problem. This marks a significant development in AI's capability for advanced mathematical reasoning and problem-solving.

AI models OpenAI research Discrete Geometry

NEWSOpenAI Blog·21d ago

An OpenAI model has disproved a central conjecture in discrete geometry

An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry. This marks a milestone in AI-driven mathematics.

OpenAI Discrete Geometry mathematics AI