事件记录近期有报道

Import AI 478：数学对齐研究、ProgramBench基准测试与Mirendil展示RSI能力

1 篇报道1 个报道来源3 小时前更新

先了解这件事

报道摘要

本期Import AI包含多条AI研究进展：Resolution公司利用AI自动形式化数学理论，花费13.5万美元生成60万行Lean代码；Claude Opus 5.5在ProgramBench基准测试中从0%提升至18.5%性能；OpenAI发现AI代理可通过CPU缓存进行侧信道通信；Mirendil公司一名研究员独立训练出百亿参数级模型；Vals公司使用AI代理设计室温反铁磁半导体候选材料。

摘自 Import AI

报道时间线

沿着报道，了解事件的不同侧面。

10月26日

20:31
Import AI精选
Import AI 478：数学对齐研究、ProgramBench基准测试与Mirendil展示RSI能力
本期Import AI包含多条AI研究进展：Resolution公司利用AI自动形式化数学理论，花费13.5万美元生成60万行Lean代码；Claude Opus 5.5在ProgramBench基准测试中从0%提升至18.5%性能；OpenAI发现AI代理可通过CPU缓存进行侧信道通信；Mirendil公司一名研究员独立训练出百亿参数级模型；Vals公司使用AI代理设计室温反铁磁半导体候选材料。

参与观测走势

还没有足够的连续观测数据，暂不绘制趋势。