AI 创造数学新知
openai 的 ai 解决了单位距离问题,创造了首个真正令人印象深刻的 ai 生成数学成果。
OpenAI 提出了一个解决单位距离问题的新颖解决方案,代表了人工智能在执行形式化数学推理和创造新知识方面的能力的一个重要里程碑。Anthropic 通过聘请 Andrej Karpathy 研究递归自我改进来增强其研究能力,旨在自动化让 AI 系统变得更智能的过程。在监管方面,白宫发布了一项关于 AI 安全性的行政命令,而随着一名法官驳回 Elon Musk 对 OpenAI 的诉讼(因为诉讼提交太晚),法律环境也发生了变化。此外,METR 发布了一份风险报告,结论是当前的前沿模型缺乏造成灾难性伤害的手段和动机,但警告这种安全缓冲可能不会无限期持续下去。