|
Story 1
OpenAI's Reasoning Model Produced an Original Mathematical Proof
On May 20, OpenAI announced that a general-purpose reasoning model independently disproved the planar unit distance problem, a conjecture posed by Paul Erdos in 1946. For nearly 80 years, mathematicians believed square grids were the best arrangement for maximizing unit-distance pairs between points. The model found an entirely new family of constructions using algebraic number theory, a method no one had previously connected to this problem. Several respected mathematicians, including Princeton's Noga Alon and Thomas Bloom, independently verified the proof.
Why this matters for your teaching. When AI can originate a verified proof rather than locate one that already exists, the question you ask students shifts from whether AI can help them find answers to whether AI is now a research collaborator in its own right.
Source: OpenAI | TechCrunch | The Neuron
|