Inter-universal geometry と ABC予想 (応援スレ) 55at MATH
Inter-universal geometry と ABC予想 (応援スレ) 55
- 暇つぶし2ch827:入力が必要であり、数学のステートメントが興味深いか深遠かを判断することはできません。それが正しいかどうかだけです、とバザードは言います。それでも、コンピューターは数学者が気づかなかった既知の事実の結果をすぐに指摘できるかもしれないと彼は付け加えた。 ショルツェは、証明アシスタントがどこまで行けるかに驚いたが、彼らが彼の研究で主要な役割を果たし続けるかどうか確信が持てないと述べた。「今のところ、数学者としての私の創造的な仕事に彼らがどのように役立つのか、私にはよくわかりません。」
次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch