熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
Hosico
Hosico+9.03%
USELESS
USELESS+6.64%
IKUN
IKUN+8.59%
gib
gib+16.43%
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
Bonk
Bonk+4.01%
ALON
ALON-8.39%
LAUNCHCOIN
LAUNCHCOIN+2.85%
GOONC
GOONC+3.77%
KLED
KLED-2.32%
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
BOOP
BOOP-0.54%
Boopa
Boopa+4.76%
PORK
PORK-1.7%
header
Neel Somani
形式方法與機制性解釋性。前：Citadel QR Eclipse 創辦人。驕傲的Cal Bear。
Neel Somani
Neel Somani1月11日 13:00
週末勝利：我提交的 Erdős 問題 #397 的證明被 Terence Tao 接受了。 這個證明是由 GPT 5.2 Pro 生成的，並用 Harmonic 進行了形式化。 許多未解的問題靜靜地等待著，有人來提示 ChatGPT 解決它們：
386
Neel Somani
Neel Somani1月9日 09:58
我建立了一個每天晚上自我拍賣的網站。贏得拍賣，你將獲得一個 Codex 代理來重寫網站 24 小時。 祝你好運：
331
Neel Somani
Neel Somani1月8日 03:47
機械解釋性迷因，針對平均消融團隊
340