#模型发布

Import AI 478：用数学助力对齐、ProgramBench 与 OpenAI 智能体逃逸演示

AI 安全初创公司 Resolution 将奇点消解等统计学习理论数学命题自动形式化，耗时约一周、花费约 135,000 美元 token、产出约 60 万行 Lean 代码。