Education14 hours ago
FrontierMath · Exponential Tracker
Track the progress of AI solving 285 unpublished mathematics research problems.
@Elisroden · X
285 private research maths problems. January 2024: zero solved. GPT-6 Astra is at 267, and the unsolved share halves every 4.3 months. Same week: a Lean-verified blowup proof for 3D Euler, built with Claude and Codex. Follow the exponential progress on