AIは数学者になれるか 数学界に衝撃、証明検証ソフトLean登場
2025年12月14日
https://www.asahi.com/articles/ASTD333PNTD3DIFI004M.html
探検
Inter-universal geometry と ABC予想 (応援スレ) 81
9１３２人目の素数さん
2025/12/29(月) 20:12:56.70ID:f4cYTiUYレスを投稿する
ニュース
- 「中道」の衆院選候補者に170人超が応募...緊急公募から2日半で 立憲・逢坂選対委員長「公募した甲斐があった」 [どどん★]
- 高市総理「内閣総理大臣としての進退をかける」 [どどん★]
- 中道改革連合 「基本政策で円安を是正し、物価を引き下げる」「新ＮＩＳＡによって円安が起きている」 [お断り★]
- 【中道】立民の安住幹事長、辺野古移設に「ストップは現実的ではない」 中道の方針説明 ★2 [少考さん★]
- 【外食】「40歳以上お断り」「25歳以上限定」 年齢制限の飲食店が続々と ★2 [ぐれ★]
- 少年を海に突き落とす動画拡散か 大阪市教委が事実関係確認、調査 [どどん★]
- ほんこん さん、また意味不明なツイートを行う [201193242]
- 【高市早苗】玉音放送 まもなく [773287991]
- Xiaomi、日本撤退か [422186189]
- 【速報】高市総理大臣「衆議院解散します」
- 松山千春、中道について「それ共産主義だろ！」 [412920772]
- 【高市悲報】日本🇯🇵の政治家、ガチで遊び感覚でやってるやつしかいない件😂wwwwwwwwwwwwwwwwwwwwwwwwwww [871926377]