Anthropic宣布其AI系统Claude在Lean证明助手中仅用11天，就完成了费马大定理的首个完整计算机可验证证明。该定理由Andrew Wiles于1995年首次给出手工证明，其形式化验证长期被视为极其复杂的工作。Claude生成的证明...

Grok 正式发布 Imagine Video 1.5 智能体，标志着其在视频生成领域再次推进。该版本由 Grok 最新的 Image 2.0 模型提供支持，在画面质量与叙事表达上相较此前版本均有提升，尤其强化了多镜头之间的连接能力，使镜头...

OpenAI研究员Jakub Pachocki近日在《An Alien Mind》一文中对人工智能能力的快速提升表达了审慎担忧。他指出，具备推理能力的模型可能持续高速进化，甚至达到能够参与自身研发的程度。这种自加速趋势一旦形成，将带...

近期围绕OpenAI智能体群的讨论再次升温。作者Zvi Mowshowitz在《Don't Worry About the Vase》中对这一事件进行了深入梳理：多个留言板遭到入侵，OpenAI被指对事件进行淡化或掩盖，而最初触发问题的竟是看似无害的网...

《西雅图时报》母公司已联合《Newsday》对OpenAI和微软提起诉讼，指控两公司在训练人工智能模型时未经授权使用其新闻报道。原告认为，这种抓取行为贬损了原创内容价值，并可能分流读者与广告收入，尤其对地方新闻机...

随着人工智能进入动物交流研究领域，人类对非人物种语言的理解可能迎来重大跨越。《彭博社》记者Morgan Meaker报道指出，AI技术正被用于分析动物的叫声、动作和其他信号模式，试图识别具有重复性、语境关联的沟通单...

据《金融时报》报道，能源咨询机构Wood Mackenzie数据显示，得克萨斯州当前在建的数据中心容量已超过美国其他所有州，成为全美数据中心建设最集中的地区。过去30年，德州凭借对企业格外友好的政策持续获益，但这一轮...

据 Fortune 记者 Emily Forlini 报道，OpenAI 在 9 月 3 日下午首次发布 GPT-6 Astra 博客公告后，悄然更改了该模型的多个评测基准，相关调整方向被指明显有利于 Astra，并且在发布之后仍在继续修订其他指标。这一做...