Lean Conjecturer: How AI Is Transforming Mathematical Discovery
To evaluate performance, the researchers tested Lean Conjecturer on 40 Mathlib seed files. From these inputs, the system generated 12,289 conjectures.
Lean Conjecturer: How AI Is Transforming Mathematical Discovery
Noperthedron: The First Convex Shape That Cannot Pass Through Itself
Kakeya Sets Proven Full-Dimensional in 3D After 100-Year Math Problem
Prime Walks: A New Way to Visualize Prime Number Patterns
Discrete Proton Arc Therapy: First Worldwide Clinical Use for Head and Neck Cancer
Single Antiproton Spin Control: Understanding the Latest CERN Innovation
Hollow-Core Optical Fiber Breaks Signal Loss Record Below 0.1 dB/km
DESI DR2 Results Reveal New Clues About Dark Energy and Cosmic Expansion
A New Direct Black Hole Mass Measurement Changes Black Hole Science
Bennu Asteroid Brine Discovery Reveals Ancient Water History