AI 創造數學新知
openai 的 ai 解決了單位距離問題，創造了首個真正令人印象深刻的 ai 生成數學成果。
OpenAI 提出了針對單位距離問題的新穎解決方案，代表著 AI 在執行形式化數學推理和創造新知識能力方面的一個重要里程碑。Anthropic 通过聘請 Andrej Karpathy 研究遞歸自我改進來增強其研究能力，旨在自動化使 AI 系統更智能的過程。在監管方面，白宮發布了一項關於 AI 安全性的行政命令，而隨著一位法官駁回 Elon Musk 對 OpenAI 的訴訟，法律環境發生了變化，原因是訴訟提交時間太晚。此外，METR 發布了一份風險報告，結論是當前的前沿模型缺乏造成災難性傷害的手段和動機，但警告這種安全緩衝可能不會無限期持續下去。