Hironaka

AI初创公司Resolution自动形式化数学以确保安全；Claude Opus 5.5在ProgramBench上表现出色

AI初创公司Resolution发布了其工作，展示了与统计学习理论相关的数学陈述的自动形式化，特别是奇点消解。这项成就涉及大量的AI代币花费和用Lean编写的代码行，被视为迈向更严谨的研究自动化科学以及可能更安全的AI发展的一步。与此同时，Claude Opus 5.5在ProgramBench上取得了显著分数，这是一个用于AI系统根据文档重建软件的基准，达到了18.5%已解决任务和70.5%几乎已解决。