>>9
多分そう遠くない内に、リーンの検証も人間向けの論文もAIが
全部作ってくれるでしょ。それこそ今月中とかそのくらいのペースでは？

先月ならまだ「AIが時間と物量（＝大金）を投入して問題を解いたんだ」
くらいのハードルの高さだったけど、今回は一問あたり3時間考えた、なんて
程度で解いてるわけで、もう数学者がどうとかいう水準を超えている

最新の次世代AIも、年内くらいには一般に公開されるだろうし、そうなったら
自分でも解いてみれば良いんだよ。AIなら月100ドルのサブスクで、人間が
飽きるまで無限に質問に答えてくれるだろう