>>322
そら公式ではないけどモジュールはあるよ
LEAN4のカーネルの一位性証明とHoTTのunivalenceは本質的に矛盾するから公理化して計算不能にするしか無いんじゃないの？複数のAIの受け売りだから間違ってるかもしれんが
Interuniversal geometry とABC 予想61
■ このスレッドは過去ログ倉庫に格納されています
324１３２人目の素数さん
2026/07/20(月) 08:20:46.83ID:joumQYeu■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 「日本人は髪が命。しっかりしたものを作ることが大事」黄綬褒章 「お六櫛」職人 秋の褒章は県内在住の12人が受章 長野 [少考さん★]
- 【速報】中野ブロードウェイ時計窃盗 被害品が郵送で戻る「すみませんでした」と手書きメモ [おっさん友の会★]
- 【ドパ親】高齢の親の“YouTube依存”に頭を抱える家族…精神科医「孤独な高齢者ほどのめり込みやすい」社会学者「1対1の没入感がある」 [煮卵★]
- 【全文掲載】全国民に「事前防災徹底のための緊急要請」 細野防災大臣 「水・食料、携帯用トイレ等の備蓄」など [ぐれ★]
- 【野球】日本ハム、レイエスと4年63億円で契約延長へ 年俸15億円超え 「歴史的」大型契約で残留… NPB史上最大クラスか [冬月記者★]
- トランプ米大統領、民主党が勝利すれば「1929年のような大恐慌」が起こると警告 11月3日の中間選挙 債務40兆ドル ★2 [お断り★]
- 【速報】米大物保守派コメンテーター「トランプは今週末イランに核落とすかもしれん。ガチで」😨 [359965264]
- 先進国、続々と日本に工場を建て始める！ ヤフコメ民「技術力を評価されてる」😲 [518915984]
- 自衛隊の男を逮捕…酒に酔って警察官を殴る [245325974]
- 日本政府が緊急要請を発令 「いますぐ1週間分の水・食料・携帯用トイレの備蓄を」 はじまるぞ [422186189]
- 【画像】新幹線、女さん「イヤァーー！指定席で隣の席に男の人座ってる！！ムリ！絶対無理！！」 [743999204]
- 外側ものすごく暗い