熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
Hosico
Hosico+0.9%
USELESS
USELESS-4.06%
IKUN
IKUN+5.8%
gib
gib-7.46%
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
Bonk
Bonk-1.79%
ALON
ALON-8.82%
LAUNCHCOIN
LAUNCHCOIN-0.46%
GOONC
GOONC-2.34%
KLED
KLED-4.32%
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
BOOP
BOOP-2.26%
Boopa
Boopa+2.01%
PORK
PORK+2.67%
header
Johannes Schmitt
蘇黎世聯邦理工學院的數學家，對代數幾何與人工智慧感興趣
Johannes Schmitt
Johannes Schmitt12月17日 22:37
首次，一個AI模型（GPT-5）自主解決了提交給我們基準項目IMProofBench的開放數學問題，並提供了完整且正確的證明，沒有任何人類提示或干預。 這是對列舉幾何的一個小但新穎的貢獻。一些背景：
39