熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
Hosico
Hosico-1.1%
USELESS
USELESS+6.01%
IKUN
IKUN-4.65%
gib
gib+6.77%
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
Bonk
Bonk-0.66%
ALON
ALON-6.54%
LAUNCHCOIN
LAUNCHCOIN+2.45%
GOONC
GOONC+0.94%
KLED
KLED-1.2%
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
BOOP
BOOP-0.31%
Boopa
Boopa+1.05%
PORK
PORK-4.22%
Johannes Schmitt
Johannes Schmitt
12月17日 22:37·
首次，一個AI模型（GPT-5）自主解決了提交給我們基準項目IMProofBench的開放數學問題，並提供了完整且正確的證明，沒有任何人類提示或干預。 這是對列舉幾何的一個小但新穎的貢獻。一些背景：