コンテンツへスキップ

774::Blog

  • Home
  • Blog
  • Qiita
  • Zenn
  • note
  • X
  • GitHub

日: 2026年9月7日

フェルマーの最終定理の形式化で、AI が生成した証明を Lean がどう検証したか

2026年9月7日 by 774

AI が正しい文章やコードを生成できることと、その成果物が正しいと確定できることは別の問題である。生成結果がもっともらしく見えること、過去より正答率が高いこと、別の AI が正しいと評価したことは、いずれも成果物そのもの … 続きを読む

カテゴリー math、tech
2026年9月
日 月 火 水 木 金 土
 12345
6789101112
13141516171819
20212223242526
27282930  
« 8月    

tech (169) science (111) philosophy (99) math (62) psychology (54) ethics (50) finance (48) society (48) quantum (30) culture (26) sports (21) resilience (20) strategy (15) cryptography (14) security (9) english (4)

All public web content that I publish is licensed under the following conditions, unless otherwise noted:
The code is dual licensed under GPLv3 or LGPLv3. The documentation, photos, and images are licensed under CC BY-ND 4.0 International.