PTT推薦

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

看板Gossiping標題Re: [爆卦] OpenAI專家:大模型夠證明黎曼猜想作者
zxwxz
(zxwxz)
時間推噓 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

圖 OpenAI專家:大模型夠證明黎曼猜想

現在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人類白嫖

potionx 01/01 15:07人類負責製作AI本體 還是有用

suPerFlyK 01/01 15:08先取代律師檢察官 這種貝多分

StylishTrade 01/01 15:08誰說AI不能取代人類的? XDDDDD

joygo 01/01 15:12你放心啦 全世界最擔心ai的叫做政客

GaussQQ 01/01 15:21唬爛出一個證明,不是對的也沒意義

GaussQQ 01/01 15:21黎曼假猜有趣的就是一堆唬爛證明,沒一個

GaussQQ 01/01 15:21是對的

kinda 01/01 15:27AI解出來,我也看不懂解法啊 XD