热门话题
#
Bonk 生态迷因币展现强韧势头
Hosico
Hosico-4.38%
USELESS
USELESS-5.58%
IKUN
IKUN+1.19%
gib
gib+8.69%
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
Bonk
Bonk-5.38%
ALON
ALON-16.01%
LAUNCHCOIN
LAUNCHCOIN-10.39%
GOONC
GOONC-0.6%
KLED
KLED-8.77%
#
Solana 新代币发射平台 Boop.Fun 风头正劲
BOOP
BOOP+0.19%
Boopa
Boopa+0.04%
PORK
PORK-1.7%
header
Neel Somani
形式方法与机制性可解释性。上一页：Eclipse创始人，Citadel的二维码。骄傲的卡尔熊。
Neel Somani
Neel Somani1月11日 13:00
周末胜利：我提交的关于埃尔多斯问题 #397 的证明被特伦斯·陶接受了。 这个证明是由 GPT 5.2 Pro 生成的，并通过 Harmonic 进行了形式化。 许多未解决的问题静静地等待着有人提示 ChatGPT 来解决它们：
289
Neel Somani
Neel Somani1月9日 09:58
我建立了一个每晚自我拍卖的网站。赢得拍卖，你将获得一个Codex代理，重新编写该网站24小时。 愿好运与你同在：
232
Neel Somani
Neel Somani1月8日 03:47
针对均值消融团队的机械解释性梗图
238