教育学习14 hours ago
FrontierMath · Exponential Tracker
追踪AI求解285道未发表数学研究问题的进展
@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