【AI】Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成 [すらいむ★] (82)
科学ニュース＋＠5ch掲示板
2026年09月26日 19:33
5.5/日
Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成 [737440712] (78)
ニュー速(嫌儲)
2026年09月08日 08:21
168.4/日
Lean3 いよいよ超小型3輪EV 2026年発売！ (28)
車種・車メーカー
2026年09月02日 00:20
0.2/日
【高市悲報】AI、数学の証明でもズルをしてしまう。定理証明支援システムLeanのバグを突き、証明出来たかのように装う [663382246] (258)
ニュー速(嫌儲)
2026年08月05日 13:28
381.5/日
AI支援でつくられた｢コラッツ予想の反証｣は無効｡定理証明支援システム｢Lean｣のバグを突いていたことが判明 [737440712] (59)
ニュー速(嫌儲)
2026年08月05日 11:05
48.6/日
LEAN総合スレその1 (12)
数学
2026年07月18日 20:50
0.2/日
■ 川名凜 ■　TBS 『ふるさとの未来🈖【Lean Mobility株式会社】』　■ 24:58～25:28 ■ (35)
モ娘（狼）
2026年05月26日 06:07
6.6/日
LEANってどう使うの？ (13)
数学
2026年04月06日 05:12
0.1/日
[Lean on Me]　ビル・ウィザース、死去 [476729448] (29)
poverty
2025年10月23日 15:35
0.0/日
David Guettaさん、13億回再生の名曲「Lean On」をパクリ炎上 [無断転載禁止]©2ch.net [764086481] (9)
poverty
2025年10月23日 10:51
0.0/日
今仕事休んで自作Leanとかxanaxやってる (10)
news4vip
2025年10月20日 15:46
0.0/日
major laserのlean on←わかる、Martin garrixのanimals←わかる、Alan WalkerのFaded←これ (5)
news4vip
2025年10月20日 03:10
0.0/日
ラッパー目指す為にLean飲んでるｗｗｗｗｗｗｗｗｗｗｗｗ (7)
news4vip
2025年10月19日 23:07
0.0/日
Lean飲んでるｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ (4)
news4vip
2025年10月19日 23:05
0.0/日
すまん初めてlean飲もうと思うんだけど (5)
news4vip
2025年10月19日 22:00
0.0/日
日本人でyung leanみたいな曲作ってる人いない？ (1)
news4vip
2025年10月17日 09:08
0.0/日
lean forward (1)
news4vip
2025年10月17日 00:06
0.0/日
ガリガリの男が15マジェでGangsta Leanしてたｗｗｗｗ (4)
news4vip
2025年10月16日 08:17
0.0/日
Joe Lean & The Jing Jang Jong (13)
musice
2025年10月12日 22:00
0.0/日
Joe Lean & The Jing Jang Jong (22)
musice
2025年10月12日 22:00
0.0/日
なんJ民が知ってるマイケル・ジャクソンの曲「Billy lean」「Beat It」「smooth criminal」「Bad」 (28)
livejupiter
2025年10月08日 12:31
0.0/日
ワイ、USラッパー御用達のLeanをキメる (14)
livejupiter
2025年10月08日 00:23
0.0/日
Major LazerのLean Onとかいう名曲が日本で全然認知されてない件について (1)
livejupiter
2025年10月06日 22:26
0.0/日
Lean OnとかいうEDMの最高傑作の一つｗｗｗｗｗｗｗｗｗ (1)
livejupiter
2025年10月06日 19:48
0.0/日
How did you lean English? (3)
dejima
2025年10月01日 00:31
0.0/日
5ちゃんねる

v3へアップグレード済み