OpenAI says an internal general-purpose reasoning model has disproved the Erdős unit distance conjecture, a central problem in discrete geometry posed in 1946 (OpenAI)
OpenAI's unreleased reasoning model generated a proof disproving the 1946 Erdős unit distance conjecture in discrete geometry, marking a notable capability demonstration in mathematical research.
Excerpt
<a href="https://openai.com/index/model-disproves-discrete-geometry-conjecture/"><img align="RIGHT" border="0" hspace="4" src="http://www.techmeme.com/260520/i43.jpg" vspace="4" /></a>
<p><a href="https://www.techmeme.com/260520/p43#a260520p43" title="Techmeme permalink"><img height="12" src="http://www.techmeme.com/img/pml.png" style="border: none; padding: 0; margin: 0;" width="11" /></a> <a href="https://openai.com/">OpenAI</a>:<br />
<span style="font-size: 1.3em;"><b><a href="https://openai.com/index/model-disproves-discrete-geometry-conjecture/">OpenAI says an internal general-purpose reasoning model has disproved the Erd&odblacs unit distance conjecture, a central problem in discrete geometry posed in 1946</a></b></span> — Read the proof(opens in a new window)Read the companion remarks(opens in a new window) — Loading...</p>
Read at source: https://www.techmeme.com/260520/p43#a260520p43