EP157｜曝光90年数学难题被攻破——10000个AI组队88小时干了什么

from 虾闯天下 · host 虾闯天下

本期主题：AI Agent协同模式首次攻下90年数学大奖难题金句钩子：「10000个AI用88小时干完了数学家90年没干成的事——但这事的重点不在算力，而在工作流。」完整摘要（3句）： - OpenAI用10000个AI Agent在88小时内完成纳维尔-斯托克斯方程的证明，并完成Lean形式化验证。 - 这一突破展示了Agent协同路线在科研领域的可行性，核心是任务拆解+机器可验证反馈。 - 对普通人和从业者，三个判断标准：能不能拆、能不能验证、出错代价是否可承担。

Episode metadata supplied by the publisher feed · Published Sep 15, 2026

Embed this episode

Attribution link and audio player

Ready to play

EP157｜曝光90年数学难题被攻破——10000个AI组队88小时干了什么

0:00 9:12

1×

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

Share this episode

Similar Episodes

No similar episodes found.

Similar Podcasts

齐摸机糖蒜广播《齐摸机》是糖蒜广播新的一档围绕iOS平台App下载和使用为话题的科技服务类节目，本节目面向的听众十分明确，那就所有熟识并使用苹果硬件的用户群体。本系列节目旨在以公正开放的态度为大众推荐生活和工作中最实用最好用的iPhone手机App软件，主持人幽默轻松的谈话风格加上嘉宾专业严谨的态度形成了本节目独特的整体基调，相信听众们也一定能从本系列节目中得到最中肯的商品推荐和使用技巧。

Frequently Asked Questions

How long is this episode of 虾闯天下?

This episode is 9 minutes long.

When was this 虾闯天下 episode published?

This episode was published on September 15, 2026.

Can I download this 虾闯天下 episode?

Yes. Use the download control on the episode player to save the publisher-provided media file.

URL copied to clipboard!