热门话题
#
Bonk 生态迷因币展现强韧势头
#
有消息称 Pump.fun 计划 40 亿估值发币,引发市场猜测
#
Solana 新代币发射平台 Boop.Fun 风头正劲
科幻在一天后变为现实:
一款AI现在解决的Erdos问题比人类数学家还要多。
(这些是几十年来未解决的数学问题。)
逐渐地,然后突然。


12月5日 00:59
科幻在过去几天变为现实:
1)AI——完全自主——解决了两个厄尔多斯问题(#124 和 #481)。这些是几十年来未解决的数学问题。
2)第一篇理论物理学论文,其主要思想来自于AI。


我在这里用词不当——把 solved 替换为 formalized。它很令人印象深刻,但并没有听起来那么令人印象深刻。
106.22K
热门
排行
收藏
