← Voltar às Notícias

Tags: computational proof

OpenAI AI Model Disproves Long‑Standing Unit Distance Conjecture

OpenAI AI Model Disproves Long‑Standing Unit Distance Conjecture
OpenAI announced that its latest artificial‑intelligence system has produced a counterexample to the unit distance conjecture, a problem that has resisted proof for eight decades. By tweaking the spacing of a mathematical grid and applying the Pythagorean theorem, the model identified a configuration where a unit‑distance circle intersects far more grid points than previously thought possible. Researchers say the breakthrough demonstrates AI’s growing capacity to tackle abstract mathematical challenges that have stumped human experts for generations. Ler mais