自 AlphaZero 之后,搜索+验证被寄望攻克开放数学难题
Grady_Booch · x · 2026-11-02
ChombaBupe 发推称:自 AlphaZero 展示零人类数据自我博弈达到围棋与象棋超人类水平以来,人们期待 AI 也能如此——只要问题定义清晰、解的可验证性快,就可以在解空间中做概率引导搜索。有人回应表示,近期(暗示 AlphaProof 类系统触及千禧年大奖难题级别的问题)令其震惊,因为那类问题远超训练分布。
「漫话AGI」频道最新
- 沃顿金融教授自述AI观剧变:反对冲超级智能,主张先用好现有模型 — JeffLadish · 2026-11-02
- 「递归自我改进」被批唯我论：实验室数据vs真实世界数据之辩 — akbirthko · 2026-11-02
- 担心半年后模型一键取代自己的外循环工作？「模型会吃掉一切」 — samiramanabi · 2026-11-02
- 「修复 AI 错误」类工作岗位激增超 85% — alejandroll10 · 2026-11-02
- eigenrobot：工作中常被迫操作自己不完全理解的系统，令人不安 — eigenrobot · 2026-11-02
- 让 AI 老师教拼 seventeen,一对一家教提效也要看实现 — Pascallisch · 2026-11-02