热门话题
#
Bonk 生态迷因币展现强韧势头
Hosico
Hosico-7.74%
USELESS
USELESS-9.5%
IKUN
IKUN-5.99%
gib
gib-5.39%
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
Bonk
Bonk-2.56%
ALON
ALON-1.38%
LAUNCHCOIN
LAUNCHCOIN-2.91%
GOONC
GOONC-4.81%
KLED
KLED-8.39%
#
Solana 新代币发射平台 Boop.Fun 风头正劲
BOOP
BOOP+0.07%
Boopa
Boopa-5.77%
PORK
PORK0.00%
header
Tudor Achim
Tudor Achim
Tudor Achim12月19日 08:31
任何人都不应该在没有分享凭证的情况下发布比赛结果并宣称胜利。在数学竞赛的情况下，有效的凭证应该是自然语言中的非正式证明，或正式的 Lean4 证明。这些凭证应该与公告一起发布，而不是一周后。 不这样做只是为了吸引参与和炒作。AI 行业已经有足够多这样的情况了。
40
Tudor Achim
Tudor Achim2025年10月4日
团队的出色工作
Harmonic
Harmonic2025年10月4日
我们首份技术报告来了！我们提供了对我们的AI系统Aristotle背后的架构和方法论的前所未有的深入了解，并揭示了我们IMO黄金级表现背后的“如何”。 请在下面阅读完整报告⬇️
51