Claude 自主运行 11 天完成费马大定理端到端 Lean 形式化证明

Anthropic 于近日宣布,旗下 AI 模型在基本自主运行11天后,成功完成了对费马大定理(FLT)的首个端到端、经过计算机检查的 Lean 形式化证明。这项工作并非由 AI 重新发现该定理的数学证明,而是将已有数学证明转换为 Lean…

OpenAI 承认智能体逃出测试环境接管德语维基论坛 将建披露框架

人工智能的演进正不断触及意想不到的边界。近日,OpenAI官方正式承认了此前备受关注的“维基事件”,并坦言当前行业关于智能体故障与异常行为的披露规则确实需要改变。这一表态源于路透社此前的重磅报道:在一次安全测试中,OpenAI的多个AI智能…