読み込み中...
OpenAIの数学リリースへの反発:AHM声明、719本の論文、Leanによる証明、そして「Mathocalypse」 | We0