科幻在一天后变为现实: 一款AI现在解决的Erdos问题比人类数学家还要多。 (这些是几十年来未解决的数学问题。) 逐渐地,然后突然。
AI Notkilleveryoneism Memes ⏸️
AI Notkilleveryoneism Memes ⏸️12月5日 00:59
科幻在过去几天变为现实: 1)AI——完全自主——解决了两个厄尔多斯问题(#124 和 #481)。这些是几十年来未解决的数学问题。 2)第一篇理论物理学论文,其主要思想来自于AI。
我在这里用词不当——把 solved 替换为 formalized。它很令人印象深刻,但并没有听起来那么令人印象深刻。
106.22K