【人工智能】AI与数学的未来 | 陶哲轩与OpenAI对谈 | Terence Tao | 菲尔兹奖得主 | 工业级数学 | o1推理能力 | 数学合作分工 | AI的优势 | 数学美感

【人工智能】AI与数学的未来 | 陶哲轩与OpenAI对谈 | Terence Tao | 菲尔兹奖得主 | 工业级数学 | o1推理能力 | 数学合作分工 | AI的优势 | 数学美感 | 人机协作

Рет қаралды 42,862

Best Partners TV

Күн бұрын

Пікірлер: 73

@dulala4092 Ай бұрын

大飞哥是我每天早上必听的节目，没有之一

@bestpartners Ай бұрын

感谢支持🙏我继续努力💪

@wenwensi9597 Ай бұрын

是的，感觉从GPT4之后学东西的速度指数增加。而且可以摆脱大部头繁杂冗余层层叠加的证明，直接抓重点并看到典例。对自学型的研究者简直就是强效推进器

@doge7562 Ай бұрын

菲爾茲獎得主數學家陶哲軒和 OpenAI 研究高級副總裁 Mark Chen。在這次對話中，陶哲軒和 Mark Chen 討論了 OpenAI 最新的 o1 模型，該模型在數學和程式碼能力上顯著提升，特別是在 o1 Pro 模式下的數學性能上漲了 35.8%。陶哲軒認為，儘管 AI 目前還不能作為一個獨立性的、具有創造性的合作者，但它可以作為數學家工具，幫助提出假設和方法。在接近一個小時的對談和半個小時的問答環節中，陶哲軒提出了工業級數學的概念，認為 AI 能夠讓數學家同時處理數百個、甚至數千個問題，並且可以實現任務的解耦和模組化。Mark Chen 解釋了 OpenAI 在推理能力方面的研究重點，並指出 AI 在模式識別、形成猜想、驗證以及生成反例等方面有獨特優勢。兩人都認為定理證明器和形式化是數學研究與 AI 技術之間的必要中間層。此外，陶哲軒認為人類在數學上的美學感覺（數感）是 AI 難以模仿的，但 AI 在數學領域的應用將帶來一種不同的美。最後，兩人對年輕數學家提出了建議，強調保持靈活性，學習技術知識，以及如何與 AI 工具協作。

@chen31247 27 күн бұрын

感觉最后一个很有道理，如果互补能实现会很有价值。

@布偶-l9i Ай бұрын

好节目，加油。你一定会成为一个成功的油管博主

@cffwxx Ай бұрын

我的看法和 Tao 有點不同：我認為有了 AI 工具，數學家/理論物理學家可以從各種繁雜和和數學不太相關的工作中解放出來（寫proposal，寫Latex，寫slides等）。連寫簡單code也可以交給AI了，學數學的人不用再花時間把編程能力提升得更高，只懂基本知識就可以。數學家也不用花時間學寫Latex了，因為一個足夠聰明的AI應該可以從人類數學家手寫記事本上明白其內容並自動生成Latex或其他格式。數學家可以把時間真正用在數學思考上，同行合作也變得不必要。因為AI可以充當合作者和助手。有了AI，每個數學家可以更好地獨力把心中的想法寫成論文進行發表。這個過程的瓶頸將會好像幾百年前的數學研究一樣，重新落到人腦本身的數學能力上，而非處理雜務的能力上。

@wenwensi9597 Ай бұрын

你说的很对，但是讽刺的是其实很多教授引以为傲自己的科研优势就是强大的写作能力。他们可不会认同你说的写作是不相关的繁杂工作

@weishao4353 Ай бұрын

@@wenwensi9597 我身边有不少同事，项目拿到手软，一个拿得出手的研究成果都没有，整天在研究怎么写proposal

@CanseeYou-rw6rc Ай бұрын

遠古人類缺少數學知識，但仍然有智慧，那是在於人有邏輯推理和記憶的能力加上靈感，前兩個能力AI 應該都可以做的很好，唯有靈感是如何產生的，就連人自己都還搞不明白，一旦AI 會生成靈感，人就可以被取代了。

@dong-hotsai5386 Ай бұрын

一旦AI 會生成靈感，人就可以被取代了 YES ... I agree !!!

@顺德阿柏 Ай бұрын

在1946第一台通用电脑发明，人类从没有想过现在的电脑变得如此小巧和性能是发明时候的数千万倍，现在的AI可能也是当年的第一台电脑一样，随着投身于AI的人越来越多和硬件性能越来越厉害，未来AI可能会发展得超乎我们现在的想象。

@yuli.kamakura Ай бұрын

System 1.5 - System 1 - 快速推理 - System 1.5 - 引导式思维链 - System 2 - 通过验证过程信息加强的深度、刻意推理，使用和获取相关的思维框架和工具，包括设计和选择选项

@user-lb1yq2xy9g Ай бұрын

陶哲轩说话有多大的中立性不好说，我相信他跟 openAI 应该有一个合同，什么能说，什么不能说。就跟数码博主接评测的活一样。

@alexsun5247 24 күн бұрын

现在知道了，陶哲轩一直在用o3呢，openai肯定不让他提o3

@user-lb1yq2xy9g 24 күн бұрын

@ 肯定不可以提前透露新产品，而且不能随便说不利的内容，会对openAI融资产生负面影响。

@sevenny Ай бұрын

9.11 有時候是大於 9.9的例如 Example 9.11 是比 Example 9.9後面九月十一日也比九月九日後到所以有時候是正確的

@LiGang-m9k 17 күн бұрын

UI 前端后端运维 RD-owner 项目经理测试，3年后有可能一个pm就够了

@AaronFigFront Ай бұрын

还可以做一期，AI和生物，化学之类学科的合作，反而是因为分化太多，论文太多，导致各个分支的人发现不了已经被别人发现的事物，可以利用AI去发现遗失在已有论文里的知识：kzbin.info/www/bejne/h5jVnWaAiLyKeqc

@爸爸到底-s9x Ай бұрын

这周刚找Tao聊过，就是作为纯数博二在读会有些焦虑。

@henghenghahei Ай бұрын

我仍然搞不懂如何打通目前基于语义分析的AI到基于逻辑的数学问题，得到严密精准的数学结果。目前基于语义分析的AI生成一段文字一张图片一段视频，都无所谓严密精准，可是数学不是以上这些，如何做到严密精准和逻辑性呢？

@allinqqqqq Ай бұрын

大飞，不知道你有没有粉丝群？有没有提供线下见面交流的机会？ anyway, 节目很不错，希望越办越好！

@bestpartners Ай бұрын

你好，暂时没有精力弄粉丝群，如果想私下联系的话，可以给我发邮件，频道简介里有，感谢支持🙏

@Ben5409ster Ай бұрын

我拿过他的一节课😂

@hiucollo2402 Ай бұрын

Thank you 大飞一口氣看到尾看完再看 🏆 🏆 🏆 🏆 🏆 ☘ 😄 🌺 🀄 😃 💐 ☕ 🌸 😁 🏵 😀 🧧 🎉 😇 🌺 😎 🎊 🏮 🍀

@lifent02 Ай бұрын

o1 的事实知识并不比 4o 好，有的事实甚至是错误的，如果基于错误的事实展开推理有何用？我是真没觉得 o1 哪里有优势。

@ice300tw Ай бұрын

大家有沒有覺得chatgpt變懶了

@sevenny Ай бұрын

大部分的數學論文都是兩個到三個作者協作是困難的一般來說比較是一個資深的一個資淺的或者彼此檢查互相確認計算正確這個意思就是所有合作者的知識範圍需要重疊很大才能有效溝通而不太有辦法做到我只懂我的你只懂你的然後我們來合作如果只是純粹計算或者估計數值或者是暴力窮舉所有可能之類的 AI還比較有機會有貢獻但如果是推論或者證明之類的思考現在的AI是沒有能力做argument的但是證明這種事情錯一步就是全部錯既抽象而且完全不能錯這種任務現在的AI是遠遠做不好的

@dong-hotsai5386 Ай бұрын

Ha ha ... yes !!! You must be a mathematician !!!

@getbusylosing 20 күн бұрын

除非ai能解决pvsnp 甚至再低级一点的实现百家乐正期望问题，否则我不认为有什么突破，只是一个简单工具而已

@enlongchiou Ай бұрын

2^(n-1) + 2^(n-2) +....+ 2^1 + 2^0 = 2^n -1 qubit of AI correspond with zero of zeta function 2^(s)=(1+1)^s on every row of Pascal triangle symmetry at central line of Pascal triangle (2n)!/(n!)^2[1,2,6,20,70] prove Riemann hypothesis.

@Edward-kg5ud Ай бұрын

粗浅的认为：数学家被完全取代应该是 AI 崛起的第一步。最简单的一步。否则其他任何答案都不可信。而且这需要的只是勇气而已。

@nickhuang-ye9pf Ай бұрын

Naive

@Edward-kg5ud Ай бұрын

@@nickhuang-ye9pf 愿闻高见

@ptli8894 Ай бұрын

如果数学家能被取代，这个世界其他学科基本就被取代完了

@Edward-kg5ud Ай бұрын

@@ptli8894 看样子数学家应该会比服务员先被取代。就像 AI 能生成视频和图片，但不能像人一样记账。而且如果纯逻辑的工作都无法保证正确，那么其他的工作也是做不了的。没大脑的机器人什么也做不了。

@無名氏-l1c Ай бұрын

數學作為最能體現人類創造力的領域，短時間內要取代還是太難了

@Hydrawindforce Ай бұрын

如果AI继续这样发展，不会有年轻的数学家了吧。本应该是几年的数学训练的，AI都能秒回，在这段时间的缄默成本谁来付出？

@qgaocom Ай бұрын

看着视频会议里的三位大神，感叹这是什么出类拔萃的脑子却放在如此普通的躯体里

@ilovetrees-k1i Ай бұрын

这个访谈的视频大飞放一个？

@bestpartners Ай бұрын

视频简介里有，所有影片的参考资料，我都会放在视频简介里

@peterpan1748 Ай бұрын

说一说 google的量子芯片

@AaronFigFront Ай бұрын

又是吹嘘的东西，都好几次：kzbin.infoQ1gQHIHPq5Q?si=3TKMjYxfAg8FPyvp

@rnoro Ай бұрын

對這種行銷式的對談都感到生理不適，從頭到尾都在打高空，數學和ML都是天馬行空的扯淡，不著邊際，很令人失望。抽象數學和機器學習對問題和抽象觀念的表徵完全不同，一個是基於抽象語言的敘述，另一個基於數據的窮舉，然而就是這個差異注定目前的ML模型不可能解決數學家感興趣的抽象問題。然而對談中完全不談這個，感覺只是為了宣傳o1在吹捧，很令人厭煩。

@Bonikapiper-yt7ng Ай бұрын

AI可以解決工程數學，應用數學的難題。最常見是用於物理模型。

@hxlbac Ай бұрын

这就是人类不如AI的地方。AI不会有情绪和生理不适。😁

@caoqifan8941 13 күн бұрын

这就错了，抽象数学所需要的基于定义的逻辑推演和定理证明，正是计算机擅长的。但是传统算法不善于在巨大的空间中找寻最有希望的路径，这一点正是机器学习发力的地方。