【数学】ABC予想、証明に暗雲？ 国際チーム検証中、望月氏と議論へ [すらいむ★]
■ このスレッドは過去ログ倉庫に格納されています
177名無しのひみつ
2026/06/19(金) 17:01:46.98ID:ATytdxHc 数学の人間が書いた普通の論文を、AIの力によってLeanで記述させれば、証明の検証が機械的にできたりはせんのか？
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【W杯】鎌田大地「優勝を狙うにはサッカーが日本の“国技”にならないと」「日本は良くも悪くもいろんなスポーツに散っている」★2 [ネギうどん★]
- 塩貝健人、”炎上”のインスタ「暇だなと」波紋呼んだ発言「今更あの発言を撤回しようとかはない」「思ったことを正直に言っただけ」 [Anonymous★]
- 【W杯】ブラジルMFパケタが日本戦後、SNSに寿司の夕食写真を投稿 「差別的な挑発行為」と受け取られ大問題に ★2 [ネギうどん★]
- 橋本愛（30）が号泣した佐藤二朗（57）の“爆弾ハラスメント”「彼女の楽屋に乗り込み…」「発端はボディタッチ」 [ひかり★]
- 【🇰🇷🇯🇵】日の丸を描いたマカロン「食べたら国旗毀損罪」⋯小泉進次郎防衛相が公開した写真 ★3 [少考さん★]
- 【W杯】「日本代表の中で、誰がブラジル代表に入れるのか」堂安律が敗戦後に感じた“格差” 「他にやり方があったんじゃないか」 [ネギうどん★]
- 【高市悲報】中国、富士電機社員2人を正式逮捕 「レアアース持ち出し」で7カ月拘束へwwwwww [834922174]
- 魔神転生2やってたらさ
- VIPで勧められたファミマのナッツ🥜買ったんだが
- 恥ずかしいスレ🏡
- 塩貝「僕の発言に怒ってるブラジル人は暇だなあと。発言を撤回するつもりはないです」
- 【画像あり】外人「湖を二時間眺めた後、それが近所のフェンスだと気づきました。」→41万いいね [808139444]