← AM·PM Brief

DeepMind Math AI Cracks 13 Erdős Puzzles—Korean Mathematician Co-Authors

· Evening brief · 10 news · 3:48

Audio in Mandarin Chinese · English transcript below

DeepMind aces math, Genie3 sprints to AGI, Musk lifts AI to orbit, NYC slams brakes—global AI drag race hits redline!

A central theme in AI today is the simultaneous acceleration of technological breakthroughs and external scrutiny. DeepMind's AI achievements in mathematical problems, alongside the Genie 3 world model's vision for general artificial intelligence, collectively illustrate the rapid expansion of AI's capability boundaries. However, this rapid advancement is also confronting fierce industry competition and the EU's growing concern over AI design ethics and regulation, signaling that AI development will enter a more constrained phase.

Today's Top 3 Headlines

  1. AI行业新闻

    Google DeepMind 数学 AI 破解 13 道 Erdős 难题,韩国数学家全程参与

    Google DeepMind 的 FunSearch 系统在数学研究领域取得显著突破,尤其在算法发现方面。该系统将大型语言模型(LLM)与评估器结合,采用进化搜索方法,成功为复杂组合优化问题找到新颖且更高效的算法。最引人注目的成果是,FunSearch 为 Cap Set Problem(有限向量空间中无三点共线的最大子集问题)给出了改进算法。Cap Set Problem 是组合数学的经典难题,与保罗·埃尔德什关注的领域密切相关。尽管原始新闻标题称“解决了 13 个 Erdős 问题”,但更准确的国际报道指出,FunSearch 的突破在于为这类 Erdős 风格的组合问题提供了新的算法发现范式,而非直接“解决”13 个独立的 Erdős 猜想。此外,FunSearch 在 Bin Packing Problem(装箱问题)等其他优化问题上也展现出发现更优算法的能力。其工作原理是:LLM 充当“创意生成器”,提出潜在算法代码;独立的“评估器”测试算法性能与正确性;通过迭代反馈循环,系统持续优化算法。这一方法标志着 AI 在数学领域从辅助证明/验证迈向自主发现新算法的重大飞跃,彰显了

    Source
  2. 科技

    Lex Fridman播客讨论Meta在AI竞赛中的位置

    Lex Fridman播客探讨Meta在元宇宙)在AI竞赛中的地位,嘉宾为AI研究员,涉及大语言模型、基于人类反馈的强化学习等技术,并提及多个AI产品赞助商。

    Source
  3. 科技

    1min.AI 终身订阅 99.99 美元,整合多模型

    1min.AI 高级商业版终身订阅现价 699 元,原价 3,780 元。平台集成 GPT-4o、Claude 3(AI助手)、Gemini Pro 等模型,提供博客生成、关键词研究、图像放大、背景移除、PDF 对话、文件翻译等功能,每月重置 400 万积分,支持 20 名成员共享与协作。

    Source

+6 more headlines

  • 欧盟认定TikTok“成瘾设计”违反《数字服务法》
  • DeepMind(AI公司)表示,最新发布的Genie 3世界模型是实现通用人工智能的关键里程碑。
  • 纽约州议员提出法案:暂停新建数据中心至少三年
  • 数学家尝试“调教”AI
  • 印度已调整其深科技初创企业规则
  • 马斯克合并xAI与SpaceX
Unlock all 9 headlines + deep analysis →Free 3-day trial · cancel anytime
Browse all past briefings →