项目详情 · 教育学习
FrontierMath · Exponential Tracker
追踪AI求解285道未发表数学研究问题的进展
exponentialtracker.com
试用演示 在线检查通过10 hours ago
上手第一步: View the progress tracker on 285 unpublished mathematics research problems.
AnalyticsPuzzleEducationMathematics“unpublished problems”“exponential progress”“private research maths problems”“Lean-verified”
技术画像
- AI 工具
- Claude
站点健康
✓ 我们的常规检查没有任何建议——这个站很干净。
来源
X · 15 hours ago
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
致作者:挂上铭牌,认领项目
这个项目还没有作者认领——登录后把铭牌挂到你的站点上,即可完成认领。
致作者:挂上铭牌,认领项目
这个项目还没有作者认领——登录后把铭牌挂到你的站点上,即可完成认领。
继续探索
相似项目
登录 后可举报该项目的问题。
评论
Sign in to comment.