热门话题
#
Bonk 生态迷因币展现强韧势头
Hosico
Hosico+10.96%
USELESS
USELESS-11.3%
IKUN
IKUN-6.32%
gib
gib-2.87%
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
Bonk
Bonk-0.76%
ALON
ALON-8.95%
LAUNCHCOIN
LAUNCHCOIN-15.28%
GOONC
GOONC-4.5%
KLED
KLED-9.54%
#
Solana 新代币发射平台 Boop.Fun 风头正劲
BOOP
BOOP-0.09%
Boopa
Boopa-2.99%
PORK
PORK-7.26%
Amit Kumar
Amit Kumar
1月18日 12:57·
“量化的未来”？刚刚使用了 @HarmonicMath 的 #Aristotle 来形式化波动微笑记忆猜想。可满足性的证明是基础，但我们现在可以“编码”金融定理，这真是一个游戏规则的改变。 #QuantFinance #FormalVerification #AI