OpenAI:

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  —  Read the proof(opens in a new window)Read the companion remarks(opens in a new window)  —  Loading...

OpenAI:

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  —  Read the proof(opens in a new window)Read the companion remarks(opens in a new window)  —  Loading...

Source: TechMeme
Source Link: https://www.techmeme.com/260520/p43#a260520p43