EP117 | AI 148 分鐘補上 30 年數學洞、寫程式變快卻更笨？DeepMind 直攻 AGI 十年規劃

from AI 新聞早知道 · host 科技大衛曾

哈囉大家好，我是科技大衛曾！歡迎收聽 AI 新知快報第 117 集今天的 AI 大事快報： 🧠 GPT-5.6 Sol Pro 在 148 分鐘內補上 30 年數學證明缺口，還通過 Lean 形式驗證 💻 52 位初階工程師實驗揭露：用 AI 寫程式可能更快，但理解與 debugging 能力反而下滑 🚀 DeepMind 把 AGI 拉進未來十年規劃，甚至開始思考 ASI 與 agent 協作的世界新工具試玩：本集沒有特別介紹單一新工具，但會帶你看 GPT-5.6 Sol Pro、Lean 形式驗證，以及 AI coding 實驗背後的實際意義 AI 新知快報｜每天 10 分鐘，跟上 AI 時代喜歡的話記得訂閱 + 五星好評！ #AI #人工智慧 #AGI #DeepMind #程式開發 #數學證明 #AI代理人 #Lean形式驗證內容參考來源： GPT-5.6 Sol Pro 在 148 分鐘內，幫忙證明了一個凸最佳化問題的下界，補上從 1996 年就存在的理論缺口。 https://old.reddit.com/r/math/comments/1uxj3cy/afteropenaiscdcproofannouncementgpt56used_a/ - 一個針對 52 位初階軟體工程師的實驗發現，使用 AI 的組別做完任務大約快了 8%，但差異沒有達到統計顯著。 https://www.youtube.com/watch?v=axOcn--n_lM - DeepMind 已經把 AGI 從「很遠的科幻」拉進「未來十年內可能發生」的實際規劃範圍。 https://www.youtube.com/watch?v=jXGgNb0DLNg -- Hosting provided by SoundOn

Episode metadata supplied by the publisher feed · Published Jul 18, 2026

Embed this episode

Attribution link and audio player

Ready to play

EP117 | AI 148 分鐘補上 30 年數學洞、寫程式變快卻更笨？DeepMind 直攻 AGI 十年規劃

0:00 6:35

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

CISO Perspectives (public) N2K Networks This season on CISO Perspectives, host Kim Jones explores some of the challenges of leading through uncertainty. We explore the complexity of the changing nature of regulation and working with the federal government, the evolution of privacy and fraud, and how emerging technologies like AI and quantum computing are changing cyber. When you don’t know what questions to ask, you’re afraid to ask, or don’t know who to ask, CISO Perspectives provides the foundation for learning in this brave new world.

Frequently Asked Questions

How long is this episode of AI 新聞早知道?

This episode is 6 minutes long.

When was this AI 新聞早知道 episode published?

This episode was published on July 18, 2026.

Can I download this AI 新聞早知道 episode?

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

URL copied to clipboard!