LEAN総合スレその1

1１３２人目の素数さん

2026/05/21(木) 06:36:39.61ID:hgEA0yNC

なかったので建てました

IUTのLANAプロジェクト他、物理数学などについても語りましょう！

2１３２人目の素数さん

2026/05/21(木) 06:39:47.40ID:hgEA0yNC

3１３２人目の素数さん

2026/05/21(木) 06:41:43.40ID:hgEA0yNC

私はLLMでCodex使って、2点のピクセルからの時空の創発などを書かせてます！

https://ideone.com/an3FhY

4１３２人目の素数さん

2026/05/21(木) 16:46:36.75ID:ycJfyVpY

ラーン

5１３２人目の素数さん

2026/05/21(木) 16:46:59.28ID:ycJfyVpY

リーン

6１３２人目の素数さん

2026/05/21(木) 16:47:13.89ID:ycJfyVpY

ローン

7１３２人目の素数さん

2026/05/24(日) 14:33:19.98ID:5JBdWaV1

7ゲットなら心願成就ッ！

8１３２人目の素数さん

2026/05/30(土) 05:12:11.46ID:IboVS48d

誰もLEANやってなさそう

9１３２人目の素数さん

2026/06/04(木) 19:35:59.74ID:7CwEqiTq

GoogleDeepMindの数学者AI、50年来の未解決難問を一気に9件証明
AlphaProof Nexusで形式証明

10１３２人目の素数さん

2026/07/17(金) 14:31:23.88ID:dythpcIC

こっちにも貼っとく
Opus4.8とFable5で作ったIUTの形式化
https://github.com/Takkun-kohinata/IUT_LEAN

11１３２人目の素数さん

2026/07/17(金) 14:39:18.55ID:23BpFpic

リンリンランランソーセージ
primaham

12１３２人目の素数さん

2026/07/18(土) 20:50:05.63ID:0ypzz9h3

数学の難問「ＡＢＣ予想」巡る望月新一教授の証明、検証チーム「不明瞭な点がある」と中間報告
2026/07/17
https://www.yomiuri.co.jp/science/20260717-GYT1T00330/

京大の面子が潰れる。