[過去ログ]
ガロア第一論文と乗数イデアル他関連資料スレ16 (1002レス)
ガロア第一論文と乗数イデアル他関連資料スレ16 http://rio2016.5ch.net/test/read.cgi/math/1744899342/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
リロード規制
です。10分ほどで解除するので、
他のブラウザ
へ避難してください。
739: トイレのうんち [] 2025/05/03(土) 17:14:22.98 ID:57mRMeiU AIによる数学の定理の証明が現実に近づいてきたらしい まあ、証明の文法(と検査法)さえ認識してしまえば 自分が思い付いた証明プランをそこに当てはめて検査すればいいので 原理上は確かにできなくもないし、あとはどれだけまっとうな 証明プランだけに絞り込みできるかだけと思っている これが実現してしまうと22世紀には数学者は失業することになるだろう アーメン http://rio2016.5ch.net/test/read.cgi/math/1744899342/739
740: トイレのうんち [] 2025/05/03(土) 17:16:08.28 ID:57mRMeiU >>739の文中の「自分」はAIを指すw http://rio2016.5ch.net/test/read.cgi/math/1744899342/740
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.048s