Erdős问题为何会成为AI的新竞技场 | AI数学证明 | OpenAI | 保罗·埃尔德什 | 大语言模型 | 人工智能 | 陶哲轩 | 菲尔兹奖 | 数论 | Astra模型

摘要

OpenAI 的 Astra 模型成功推翻保羅·埃爾德什百年前的數學猜想，引發數學界對 AI 能力的重新評估。影片探討了從英國數學家布魯姆建立問題網站，到客服人員與陶哲軒在評論區平等討論，再到頂尖數學家加入 AI 公司的過程，揭示 AI 如何改變數學研究方式。

OpenAI models solve century-old math conjectures, shifting mathematicians' careers and research methods as AI enters the core of intellectual activity.

摘要、重點與章節標題由語言模型整理，細節（誰說的、數字、先後）可能有誤；要引用請以原始內容為準。

重點

• OpenAI 模型首次產出具有歷史意義的數學證明，推翻埃爾德什百年猜想。
• 客服人員與陶哲軒在網站評論區平等討論，展現 AI 改變數學生態。
• 頂尖數學家開始離開學術界加入 AI 公司，重新定義數學家的角色。

章節

依話題轉折切分，標題由 AI 產生

1. 00:00OpenAI 模型推翻埃爾德什 80 年猜想
2. 04:06布魯姆用 AI 整理問題 建立網站
3. 08:04AI 誤解未解難題 卻發現新解法
4. 16:01AI 挑戰數學核心 未來職業將如何變

提到的工具與公司

• OpenAI
• Astra
• ChatGPT
• GPT-5.2
• Polymath5
• erdosproblems.com

適合誰看

對 AI 應用於科學研究、數學發展及未來職業趨勢感興趣的讀者。

摘要依據

依據

人工字幕

為什麼排在這裡

人氣

0.63

新鮮

0.87

在主題頁與搜尋結果裡，名次由相關、人氣、新鮮三個分數決定；這一頁沒有搜尋的關鍵字，所以沒有相關分數。排序怎麼算

相關內容

• How a reasoning model cracked an 80-year-old math problem - Episode 20Podcast ・ OpenAI Podcast ・ 41 分鐘
• OpenAI's biggest math breakthrough is getting ugly...影片 ・ Fireship ・ 6 分鐘（在新分頁開啟原站）
• Brand New AI Solves a Millennium Prize文章 ・ Don't Worry About the Vase（Zvi）
• What happens now that AI is good at math? - Episode 17Podcast ・ OpenAI Podcast ・ 43 分鐘
• EP154 - AI 真的解決了數學世紀難題嗎？Anthropic 員工開始警告末日影片 ・ 科技浪 ・ 1 小時 13 分
• OpenAI talks GPT-6 Astra and Millenium Prize, researchers create WeWorm exploit & IBM’s US Open app影片 ・ IBM Technology ・ 33 分鐘