// reasoning

Source: TechCrunch

OpenAI's o1 model formally resolved the Erdős–Anning conjecture in plane geometry, a rare instance of AI-generated mathematical proof that survived peer review. The significance lies in the architecture: systems trained on reinforcement learning and step-by-step reasoning can navigate open-ended problem spaces that previously required human creativity and intuition, not pattern matching on known solution types. The conjecture itself was minor, and the proof may still require human verification—facts that constrain claims about AGI-adjacent breakthroughs. But the demonstration that reasoning models operate at research frontiers rather than merely on benchmarks matters.