Re: [爆卦] Gemini AI 數學奧林匹亞奪金牌
※ 引述《Bugquan (靠近邊緣)》之銘言:
: 雖然新聞出的比openai還要晚
: 但是Deepmind 的有附上他們的解答
: 而且還是經過IMO認證的
:
: --
: ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 27.242.97.44 (臺灣)
: ※ 文章網址: https://www.ptt.cc/Gossiping/E.ZgXhThFJKiT0
: → potionx: 數學家要失業了嗎? 111.240.93.172 07/22 12:25: 推 andy79323: ai剛出一堆人很勇不會失業 223.141.129.49 07/22 12:31: 推 sunday123: 數學家、物理學家、化學家通通要失業了 203.204.119.138 07/22 12:39單就這個成果來說,對數學家等理論工作者是好事,
因為多了個有用的工具。
很多時候理論工作是在猜看看什麼東西能不能被證明是對的。
AI如果在小結論上可以幫忙透過爆搜給出證明或者錯不太多的證明,
就可以省下很多時間。
另一方面,這成果的意義也建立在「有人看得懂且可以確認這結果沒問題」,
也就是說,這成果只對於懂數學的人來說有意義。
所以不會說有了這種工具之後數學麻瓜能取代受過數學訓練的人
--
與角卷綿芽去KTV唱歌
https://i.imgur.com/VFmibkg.jpg
https://i.imgur.com/174vz3L.jpg
原圖出處:https://twitter.com/Iwahadada/status/1384422041240039428
--
現代數學家本來就很多靠電腦在計算哪有差
我丟個PDE給gemini還會解錯= =
所以AI解出黎曼猜想了沒?
先從解比較小的問題開始嘛
※ 編輯: arrenwu (123.193.154.66 臺灣), 07/22/2025 14:59:23沒有30幾歲的限制
想太多 問黎曼猜想AI只會扯洨
丟個國中題目ai解得荒腔走板
35
首PoGoogle DeepMind 的 Gemini Deep Think AI 模型在 2025 年國際數學奧林匹亞(IMO)中 表現卓越,成功達到金牌標準。這標誌著 AI 在解決複雜數學問題上的重大突破。 Gemini Deep Think 在 IMO 六道題目中,有五道完美解答,總分達 35 分,符合金牌資格 。它能全程以自然語言推理,並在比賽時間內生成嚴謹數學證明。DeepMind 也公開了這些![[爆卦] Gemini AI 數學奧林匹亞奪金牌 [爆卦] Gemini AI 數學奧林匹亞奪金牌](https://i.imgur.com/jD5MCPtb.jpeg)
23
推 Loyeatta: 我想不到未來裝著AI腦的機器人出現後人 1.169.159.185 07/22 12:28 → Loyeatta: 類要幹嘛 自主升級 互相維修 哪個白痴 1.169.159.185 07/22 12:28 → Loyeatta: 認為AI可以讓人類變幸福? 1.169.159.185 07/22 12:28 AI現在厲害的是開始造成大內卷 我們公司人人用AI 結果以前要兩天交的簡報1
所有科技化現代化的發展本質上都是更快速的奴役勞工 例如高鐵 你以為它提供了生活的便利性 帶來什麼狗屎的一日生活圈 現實就是出差從此單日來回7
是好事啊 有一個工具可以讓你快速把事情做完還不夠好嗎? 如果這樣就會被取代 那麼代表 1.你的工作本來就可有可無8
雖然說是數學奧林匹亞 感覺很重大 很多人都覺得下一步就是黎曼猜想 但差很遠... 1.重點 跟人類時間耗時一樣2
Gemini真的很聰明。 一個多月前拿著我創作的小說去給ChatGPT分析, 系統都派GPT4.5過來,但是他們表示負擔太大, 請我去找其他AI。 我只好跑去找Gemini。3
想問一個問題,AI是怎麼解數學題目的? 我曾經把高中學測問題,給chatgpt去解。 結果他算半天,出來的答案都是錯的,後來才發現他是看錯題目。 經過我提示,他才明白自己看錯。 我酸他你不是電腦?怎麼跟人類一樣會看錯題目?
剛好今天回了類似的文,你可以先爬板上文章(請搜尋"GPT")看詳情。 簡言之,因為他們是語言模型,預設是語文理解模式, 所以關鍵在於你輸入的prompt,要能觸發他們為你轉換為運算模式。 以下貼Gemini的回答給你參考 =========================================================
15
[問卦] DeepMind的AI解決數學奧林匹亞考題~~~~~~快要嚇死了 25 July 2024 DeepMind hits milestone in solving maths problems — AI’s next grand challenge![[問卦] DeepMind的AI解決數學奧林匹亞考題~~~~~~ [問卦] DeepMind的AI解決數學奧林匹亞考題~~~~~~](https://media.nature.com/lw1200/magazine-assets/d41586-024-02441-2/d41586-024-02441-2_27386136.jpg)
13
[問卦] 訓練AI數學證明能取代數學家嗎如題 AI 能打敗世界棋王 也能幫大學生寫報告與論文 那訓練AI寫數學證明 能打敗得過菲爾茲獎的數學家嗎8
[爆卦] 望月新一給出了費馬大定理的第二種證明費馬大定理指出x^n + y^n = z^n在n>2時無整數解,該定理在提出357年後才由Andrew Wiles通過證明谷山志村猜想的特例來完成驗證。 上個月8號,京都大學數理解析研究所的望月新一團隊給出了費馬大定理的第二種證明。東 京工業大學的 Kodai數學期刊已接受了該團隊的論文。6
[問卦] 有沒有AI證明1+1=2數學公式對不對的八卦如題 剛要求AI證明1+1=2 我: 嘿,你能證明1+1為什麼等於2嗎 AI:![[問卦] 有沒有AI證明1+1=2數學公式對不對的八卦 [問卦] 有沒有AI證明1+1=2數學公式對不對的八卦](https://i.imgur.com/zWIZ1U0b.jpg)
4
Re: [新聞] 腦袋開外掛!新研究靠「無痛電擊」前面有人提到愛因斯坦,結果老樣子又有一些看太多偽科普影片的人跳出來 眾人皆醉我獨醒愛因斯坦數學不好 開嘴之前請先去翻廣義相對論原始論文 給你看一個月你看得懂算我輸 愛因斯坦是發展廣義相對論過程中需要在當時相對前沿的數學研究領域來建構廣義相對論X
Re: [問卦] 美國人數學不好 為什麼還世界第一因為數學本來就不是必要的東西 根本不會影響到整體的發展 整個地球已經存在幾億年了 而人類知道數學則不過僅是數千甚至數百年的歷史 倒不如說 整天在那邊斤斤計較數字才是好笑到不行
[情報] 馬斯克的Grok-3 AI疑似成功證明黎曼猜想馬斯克旗下xAI的工程師Hieu Pham 在推上公布:他們開發的第三代AI模型Grok-3已經成功 證明了165年未解黎曼猜想。 黎曼猜想由德國數學家波恩哈德·黎曼在1859年提出。黎曼指出黎曼ζ函數非平凡零點的