数学家 Ken Ono 称 AI 竞争应转向形式化能力

数学家 Ken Ono 认为，AI 的发展不应仅仅局限于算力竞赛，而应更加关注形式化能力。他将当前的 AI 形态分为聊天机器人、超人搜索和形式化三种，并强调 AI 正在从根本上重塑数学发现与研究结构，而不仅仅是改变工具。他呼吁全行业就 AI 如何改变数学的未来展开深入讨论，并指出形式化是年轻人最值得投入的方向。

2026-07-21 ~ 2026-07-23 · 2 条相关