トレンドトピック
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
SFが現実になる 『ワン・デイ・バック』:
AIは人間の数学者よりも多くのエルドス問題を解決しています。
(これらは何十年も解決されていない未解決の数学問題でした。)
徐々に、そして突然。
2025年12月5日
Sci-fi becoming real in the last few days:
1) AI -- entirely on its own -- solved TWO Erdos Problems (#124 and #481). These were open math problems unsolved for decades.
2) First ever paper in theoretical physics in which the main idea came from an AI
ここでの表現が雑でした―「solved」を「formalized」に置き換えました。印象的ですが、聞こえるほどの印象はありません。
516
トップ
ランキング
お気に入り