Fermat’s last theorem formalised by AI agents in just 11 days
将费马大定理的证明转换为计算机可以检查的代码预计需要数年时间。 Anthropic 的 Claude AI 在不到两周的时间内完成了它
Soft Computing, Volume 30, Issue 8, August 2026
1) KIF 在 kubernetes 中部署 Pod 的 PSO-LSTM 调度算法作者：Chao-Hsien Hsieh、DeHong Kong、XingMin Zou 页数：5343 - 53532) 使用 3D 口腔扫描和深度自适应感知生成对抗网络进行自动准确的牙冠设计作者：Lakshmi S.、Shamuganathan C.页数：5355 - 53703) 耶格尔概率分布否定的信息论处理作者：Roberto Bruno, Ugo Vaccaro页数：5371 - 53834) 推测计算作者：Giuseppe Filippone, Gianmarco La Rosa, Marco E
