简介
据DailyAI报道,OpenAI一个内部模型成功求解了自1946年以来悬而未决的单位距离猜想(unit distance conjecture),这是AI在纯数学前沿的又一里程碑。
事件解读
- 单位距离猜想困扰数学界80年,此前人类数学家多次尝试未果。
- OpenAI同时宣布:最先进模型的训练过程禁止直接访问互联网,改为离线隔离环境,以提升安全性与可复现性。
- 公司还部署了数千个AI智能体,32分钟完成数百万小鼠脑细胞分析——相当于人类数月工作量。
AI科研能力意味着什么
从AlphaFold到数学猜想,AI正在从"工具"进化为"科研合作者"。对依赖推理的工具(如 Kimi智能助手)而言,底层模型推理能力的提升会直接改善用户体验。
离线训练的深意
训练环境与互联网隔离,一方面防止数据污染与智能体攻击事件重演,另一方面也回应了此前审计发现的25%智能体流量未被监控的安全缺口。
前景与总结
AI for Science是未来三年最确定的趋势之一。更多前沿动态请见 AiVsly行业解读。