热门话题
#
Bonk 生态迷因币展现强韧势头
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
#
Solana 新代币发射平台 Boop.Fun 风头正劲
Harmonic
构建数学超级智能
未来所有软件都将经过正式验证。我们仍然处于早期阶段。
12月19日 20:32
是的，证明 Erdős 问题与 @HarmonicMath 亚里士多德一起进行很棒，但你尝试过用它来验证 LeetCode 风格的解决方案吗？
我们尝试过。它有效（不变推理... 还不够快）。
34
我们正进入数学的黄金时代
12月18日 05:27
在计算机在数学方面比我们更优秀的情况下，攻读数学专业还有多大意义呢？
20
热门
排行
收藏