熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
Hosico
Hosico+1.04%
USELESS
USELESS-5.86%
IKUN
IKUN+0.35%
gib
gib-1.64%
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
Bonk
Bonk-2.49%
ALON
ALON+0.27%
LAUNCHCOIN
LAUNCHCOIN-2.13%
GOONC
GOONC-2.18%
KLED
KLED-3.54%
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
BOOP
BOOP-0.01%
Boopa
Boopa-5.25%
PORK
PORK0.00%
Thomas Bloom
Thomas Bloom
2025年11月30日·
作為Erdős問題網站的擁有者/維護者，這裡有一些關於#124解決方案的評論： 1) 這是一個很好的證明，該證明是由AI從正式陳述中提供的，沒有任何人類參與，然後在Lean中進行了形式化。這已經很令人印象深刻了！