Claude 在 Slack 自建数学工具链，找到 Smale 均值猜想反例

Vercel 的 Max Leiter 与数学家 Alpoge 分别透露，几周前他们让 Claude 尝试解数学题，模型竟在 Slack 中自主搭建起一套「math harness」（数学实验工具链），并自主找到了 Smale 均值猜想的反例，完成对该猜想的证伪。这一案例展示了前沿模型在自主设计实验环境与数学发现上的能力。

2026-09-06 ~ 2026-09-06 · 2 条相关