SFが現実になる 『ワン・デイ・バック』: AIは人間の数学者よりも多くのエルドス問題を解決しています。 (これらは何十年も解決されていない未解決の数学問題でした。) 徐々に、そして突然。
AI Notkilleveryoneism Memes ⏸️
AI Notkilleveryoneism Memes ⏸️12月5日 00:59
ここ数日で現実化したSF: 1) AIは完全に単独で2つのエルドス問題(#124と#481)を解決しました。これらは何十年も解決されていない未解決の数学問題でした。 2) AIから主なアイデアが生まれた理論物理学の初の論文
ここでの表現が雑でした―「solved」を「formalized」に置き換えました。印象的ですが、聞こえるほどの印象はありません。
106.22K