菲爾茲獎得主數學家陶哲軒和 OpenAI 研究高級副總裁 Mark Chen。在這次對話中，陶哲軒和 Mark Chen 討論了 OpenAI 最新的 o1 模型，該模型在數學和程式碼能力上顯著提升，特別是在 o1 Pro 模式下的數學性能上漲了 35.8%。陶哲軒認為，儘管 AI 目前還不能作為一個獨立性的、具有創造性的合作者，但它可以作為數學家工具，幫助提出假設和方法。在接近一個小時的對談和半個小時的問答環節中，陶哲軒提出了工業級數學的概念，認為 AI 能夠讓數學家同時處理數百個、甚至數千個問題，並且可以實現任務的解耦和模組化。Mark Chen 解釋了 OpenAI 在推理能力方面的研究重點，並指出 AI 在模式識別、形成猜想、驗證以及生成反例等方面有獨特優勢。兩人都認為定理證明器和形式化是數學研究與 AI 技術之間的必要中間層。此外，陶哲軒認為人類在數學上的美學感覺（數感）是 AI 難以模仿的，但 AI 在數學領域的應用將帶來一種不同的美。最後，兩人對年輕數學家提出了建議，強調保持靈活性，學習技術知識，以及如何與 AI 工具協作。
菲爾茲獎得主數學家陶哲軒和 OpenAI 研究高級副總裁 Mark Chen。在這次對話中，陶哲軒和 Mark Chen 討論了 OpenAI 最新的 o1 模型，該模型在數學和程式碼能力上顯著提升，特別是在 o1 Pro 模式下的數學性能上漲了 35.8%。陶哲軒認為，儘管 AI 目前還不能作為一個獨立性的、具有創造性的合作者，但它可以作為數學家工具，幫助提出假設和方法。在接近一個小時的對談和半個小時的問答環節中，陶哲軒提出了工業級數學的概念，認為 AI 能夠讓數學家同時處理數百個、甚至數千個問題，並且可以實現任務的解耦和模組化。Mark Chen 解釋了 OpenAI 在推理能力方面的研究重點，並指出 AI 在模式識別、形成猜想、驗證以及生成反例等方面有獨特優勢。兩人都認為定理證明器和形式化是數學研究與 AI 技術之間的必要中間層。此外，陶哲軒認為人類在數學上的美學感覺（數感）是 AI 難以模仿的，但 AI 在數學領域的應用將帶來一種不同的美。最後，兩人對年輕數學家提出了建議，強調保持靈活性，學習技術知識，以及如何與 AI 工具協作。
大飞哥是我每天早上必听的节目，没有之一
感谢支持🙏我继续努力💪
大部分的數學論文都是兩個到三個作者 協作是困難的
一般來說比較是一個資深的一個資淺的 或者彼此檢查互相確認計算正確
這個意思就是所有合作者的知識範圍需要重疊很大才能有效溝通
而不太有辦法做到 我只懂我的 你只懂你的 然後我們來合作
如果只是純粹計算或者估計數值 或者是暴力窮舉所有可能之類的 AI還比較有機會有貢獻
但如果是推論或者證明之類的思考 現在的AI是沒有能力做argument的
但是證明這種事情 錯一步就是全部錯 既抽象而且完全不能錯 這種任務 現在的AI是遠遠做不好的
陶哲轩说话有多大的中立性不好说，我相信他跟 openAI 应该有一个合同，什么能说，什么不能说。 就跟数码博主接评测的活一样。
好节目，加油。你一定会成为一个成功的油管博主
9.11 有時候是大於 9.9的
例如 Example 9.11 是比 Example 9.9後面
九月十一日也比九月九日後到
所以有時候是正確的
System 1.5
- System 1 - 快速推理
- System 1.5 - 引导式思维链
- System 2 - 通过验证过程信息加强的深度、刻意推理，使用和获取相关的思维框架和工具，包括设计和选择选项
大家有沒有覺得chatgpt變懶了
在1946第一台通用电脑发明，人类从没有想过现在的电脑变得如此小巧和性能是发明时候的数千万倍，现在的AI可能也是当年的第一台电脑一样，随着投身于AI的人越来越多和硬件性能越来越厉害，未来AI可能会发展得超乎我们现在的想象。
遠古人類缺少數學知識，但仍然有智慧，那是在於人有邏輯推理和記憶的能力加上靈感，前兩個能力AI 應該都可以做的很好，唯有靈感是如何產生的，就連人自己都還搞不明白，一旦AI 會生成靈感，人就可以被取代了。
o1 的事实知识并不比 4o 好，有的事实甚至是错误的，如果基于错误的事实展开推理有何用？我是真没觉得 o1 哪里有优势。
还可以做一期，AI和生物，化学之类学科的合作，反而是因为分化太多，论文太多，导致各个分支的人发现不了已经被别人发现的事物，可以利用AI去发现遗失在已有论文里的知识：ua-cam.com/video/Qgrl3JSWWDE/v-deo.html
大飞，不知道你有没有粉丝群？有没有提供线下见面交流的机会？ anyway, 节目很不错，希望越办越好！
你好，暂时没有精力弄粉丝群，如果想私下联系的话，可以给我发邮件，频道简介里有，感谢支持🙏
如果AI继续这样发展，不会有年轻的数学家了吧。本应该是几年的数学训练的，AI都能秒回，在这段时间的缄默成本谁来付出？
粗浅的认为：数学家被完全取代应该是 AI 崛起的第一步。最简单的一步。
否则其他任何答案都不可信。而且这需要的只是勇气而已。
Naive
@@nickhuang-ye9pf 愿闻高见
如果数学家能被取代，这个世界其他学科基本就被取代完了
@@ptli8894 看样子数学家应该会比服务员先被取代。就像 AI 能生成视频和图片，但不能像人一样记账。
而且如果纯逻辑的工作都无法保证正确，那么其他的工作也是做不了的。 没大脑的机器人什么也做不了。
數學作為最能體現人類創造力的領域，短時間內要取代還是太難了
Thank you 大 飞 一口氣看到尾 看完再看 🏆 🏆 🏆 🏆 🏆 ☘ 😄 🌺 🀄 😃 💐 ☕ 🌸 😁 🏵 😀 🧧 🎉 😇 🌺 😎 🎊 🏮 🍀
这个访谈的视频大飞放一个？
视频简介里有，所有影片的参考资料，我都会放在视频简介里
看着视频会议里的三位大神，感叹这是什么出类拔萃的脑子却放在如此普通的躯体里
说一说 google的量子芯片
又是吹嘘的东西，都好几次：ua-cam.com/users/shortsQ1gQHIHPq5Q?si=3TKMjYxfAg8FPyvp
中国数学不纯粹
没有任何超预期的内容，当个工具用谁不知道啊
作为工具 笔记本 和 笔记本（💻）差了不知道多少个数量级
對這種行銷式的對談都感到生理不適，從頭到尾都在打高空，數學和ML都是天馬行空的扯淡，不著邊際，很令人失望。抽象數學和機器學習對問題和抽象觀念的表徵完全不同，一個是基於抽象語言的敘述，另一個基於數據的窮舉，然而就是這個差異注定目前的ML模型不可能解決數學家感興趣的抽象問題。然而對談中完全不談這個，感覺只是為了宣傳o1在吹捧，很令人厭煩。
AI可以解決工程數學，應用數學的難題。最常見是用於物理模型。
这就是人类不如AI的地方。AI不会有情绪和生理不适。😁
大神讲个普通道理，也还是普普通通呀，这期内容有些水
桃子选做的东西，没有什么原创性。很快就被人工智能芯片，特别是量子AI芯片取代。
不懂数学。但菲尔兹奖这么容易得？
@ 有了不断提高的量子芯片+人工智能，很多以前能得废🦢紫酱的成果，可能还不如儿童搭积木的成就。桃择先对数学的贡献还远远不如张益唐。
就是尼玛广告
陶哲轩还是太自大，太小瞧AI了，还几十年超越人类？
几年就超过你
Innocent
😂
@@nickhuang-ye9pf 你才是天真
不愧是你😂
美国数学在星辰大海，中国数学在姜萍
大家都有美好的未来
星辰大海的美国把自己的人挂在太空下不来，原来是数学太好
很多美国科学家不是美国人，爱因斯坦就不是出生美国。
就是造假炒作那个姜萍？
@@zhanwenchen9238 就是还挂在天上那俩