探検


LEAN総合スレその1

1132人目の素数さん
垢版 |
2026/05/21(木) 06:36:39.61ID:hgEA0yNC
なかったので建てました

IUTのLANAプロジェクト他、物理数学などについても語りましょう!
2132人目の素数さん
垢版 |
2026/05/21(木) 06:39:47.40ID:hgEA0yNC
LEAN4WEB
https://live.lean-lang.org/
3132人目の素数さん
垢版 |
2026/05/21(木) 06:41:43.40ID:hgEA0yNC
私はLLMでCodex使って、2点のピクセルからの時空の創発などを書かせてます!

https://ideone.com/an3FhY
2026/05/21(木) 16:46:36.75ID:ycJfyVpY
ラーン
2026/05/21(木) 16:46:59.28ID:ycJfyVpY
リーン
2026/05/21(木) 16:47:13.89ID:ycJfyVpY
ローン
7132人目の素数さん
垢版 |
2026/05/24(日) 14:33:19.98ID:5JBdWaV1
7ゲットなら心願成就ッ!
8132人目の素数さん
垢版 |
2026/05/30(土) 05:12:11.46ID:IboVS48d
誰もLEANやってなさそう
2026/06/04(木) 19:35:59.74ID:7CwEqiTq
GoogleDeepMindの数学者AI、50年来の未解決難問を一気に9件証明
AlphaProof Nexusで形式証明
10132人目の素数さん
垢版 |
2026/07/17(金) 14:31:23.88ID:dythpcIC
こっちにも貼っとく
Opus4.8とFable5で作ったIUTの形式化
https://github.com/Takkun-kohinata/IUT_LEAN
2026/07/17(金) 14:39:18.55ID:23BpFpic
リンリンランランソーセージ
primaham
12132人目の素数さん
垢版 |
2026/07/18(土) 20:50:05.63ID:0ypzz9h3
数学の難問「ABC予想」巡る望月新一教授の証明、検証チーム「不明瞭な点がある」と中間報告
2026/07/17
https://www.yomiuri.co.jp/science/20260717-GYT1T00330/

京大の面子が潰れる。
レスを投稿する


ニューススポーツなんでも実況