Ofir Press 预测：一年内约 70% 公开数学难题将被解决
OfirPress · x · 2026-10-29
Ofir Press 表示，被问及当前最好的 AI 基准时，他的答案是「千禧年大奖难题」，且遥遥领先其他基准。按当前解题成功率判断，他认为预测「约 70% 的公开数学问题将在一年内被解决」并不夸张。
所属事件:SWE-bench 作者：千禧年难题是最佳基准，一年内七成公开数学题或被解(9 条相关)→
「漫话AGI」频道最新
- Ethan Mollick:「卖铲子」不是 AI 创业的正确答案 — emollick · 2026-10-30
- Sam Altman:可能需要限制单个 AI 模型的智能上限 — rohanpaul_ai · 2026-10-30
- 投资人断言：拼凑式 SaaS 架构将难以为继，未来属于 agent 层 — matt_slotnick · 2026-10-30
- DeepMind 论文：道德论证训练让模型更果断，判断力反而没变 — rohanpaul_ai · 2026-10-30
- 前 Anthropic 研究员推 Mirendil：为 RSI 时代重造科学机构 — bneyshabur · 2026-10-30
- Agent 一周自动形式化数学定理:耗资 13.5 万美元产出 60 万行 Lean — bneyshabur · 2026-10-30