Re: [爆卦] OpenAI專家：大模型夠證明黎曼猜想

zxwxz 發表於 2025/1/1 下午3:03:10

看板Gossiping標題Re: [爆卦] OpenAI專家：大模型夠證明黎曼猜想作者

(zxwxz)時間Jan 1 15:03:10 2025推噓 3 推:4 噓:1 →:7

: → ykes60513: 四色定理有用到電腦運算沒錯但不算是A 1.169.245.252 01/01 14:06: → ykes60513: I 1.169.245.252 01/01 14:06: → ykes60513: 讓AI來證明可以但要給出人類看得懂的 1.169.245.252 01/01 14:07: → ykes60513: 證明不然中間的運算過程人類根本無法 1.169.245.252 01/01 14:08: → ykes60513: 理解 1.169.245.252 01/01 14:08

大家都還停留在gpt-4o的免費模型嗎？
推理模型o1-preview 去年9月出來就已經會把推理過程寫出來了，隱藏掉的是中間思維搜索猜想階段性進展。前幾天o3推出可以解FrontierMath 25%的問題，這是連數學家都要解好幾天的題目，且不熟悉題目領域的數學家還不知道怎解，
一般人連題目應該都看不懂
https://i.imgur.com/SSU9fch.png

現在AI在有確定性答案的問題已經不需要靠人類堆資料增強能力了，目前的強化學習開始是模型自己出題目給自己解，且解出來的題目還可以反饋回預訓練階段，要突破應該不會太久了

※ PTT 留言評論

※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 42.73.99.228 (臺灣)

※ PTT 網址

推

StylishTrade 01/01 15:05人類已經沒用了QQ

推

Fegelein 01/01 15:07約幹康納怎麼都還沒行動

噓

ayanami00 01/01 15:07上次那個諾貝爾應該直接頒給 AI，還給

→

ayanami00 01/01 15:07人類白嫖