熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
Neel Somani
形式方法與機制性解釋性。前：Citadel QR Eclipse 創辦人。驕傲的Cal Bear。
你可能在想，是否還有更多的Erdos問題是GPT 5.2 Pro或Deep Research可以解決的。
我招募了一支聰明的本科生團隊，來構建一個ChatGPT對每個開放Erdos問題的回應數據集並驗證輸出。
以下是他們的發現（全部開源 - 下面是倉庫）：
1月11日 13:00
週末勝利：我提交的 Erdős 問題 #397 的證明被 Terence Tao 接受了。
這個證明是由 GPT 5.2 Pro 生成的，並用 Harmonic 進行了形式化。
許多未解的問題靜靜地等待著，有人來提示 ChatGPT 解決它們：
103
熱門
排行
收藏