物理学初创公司 Physical Superintelligence（PSI）11 月 6 日宣布，其研究系统找到了 2008 年以来悬而未决的「Aaronson-Ambainis 猜想」的证明，系统内部运行的是一个尚未公开的 Anthropic 模型，整个过程据称只用了约 3 天。
这是近几周内 AI 参与数学证明的又一案例：OpenAI 10 月 26 日也曾宣布自家模型对计算复杂性领域的「指数时间假设」给出反例。需要提醒的是，这些「证明」目前均为相关团队的单方宣布，仍待学界独立验证。
物理学初创公司 Physical Superintelligence（PSI）11 月 6 日宣布，其研究系统找到了 2008 年以来悬而未决的「Aaronson-Ambainis 猜想」的证明，系统内部运行的是一个尚未公开的 Anthropic 模型，整个过程据称只用了约 3 天。
这是近几周内 AI 参与数学证明的又一案例：OpenAI 10 月 26 日也曾宣布自家模型对计算复杂性领域的「指数时间假设」给出反例。需要提醒的是，这些「证明」目前均为相关团队的单方宣布，仍待学界独立验证。
评论（0）
暂无评论