The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to everyone.
OpenAI's AI model solved the unit distance problem posed by Paul Erdos in 1946 The AI found a counterexample disproving Erdos's conjecture on unit-distance pairs The solution shows unit-distance pairs ...
What happens when one of the most celebrated AI companies in the world stumbles in its quest for innovation? OpenAI’s recent announcement about GPT-5 solving the notoriously complex Erdos problems ...
OpenAI’s claim that GPT-5 had solved ten of Paul Erdős’s famous “unsolved” math problems has drawn sharp backlash from across the AI industry, after experts revealed the model merely rediscovered ...