Post

Eris ⌬@eriskii.net

OpenAI has used a "general purpose reasoning model" to disprove that the square grid type construction is the best solution to the planar unit distance problem. I am sure the "AI is completely useless" crowd will now change their ways, right?

openai.comAn OpenAI model has disproved a central conjecture in discrete geometryAn OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and marking a milestone in AI-driven mathematics.