メインコンテンツへスキップ
 

記事一覧

考察ノート：Knuthの"Claude's Cycle"問題をLean4で検証する(9)：続々と証明が開拓される

考察ノート：Knuthの"Claude's Cycle"問題をLean4で検証する(8)：検証編

考察ノート：Knuthの"Claude's Cycle"問題をLean4で検証する(7)：なんとあっけなく証明できた？

考察ノート：Knuthの"Claude's Cycle"問題をLean4で検証する(6):cycle2_hamiltonianで挫折しそう

LLM関連ブックマークまとめ(2026.3.2-2026.3.8):GPT-5.4がぶっちぎり性能で登場、Opus4.6にKnuth先生もびっくり、AIは解放のツールではなく加速の罠、Claude 4.6 Sonnetにまとめてもらった。

考察ノート：Knuthの"Claude's Cycle"問題をLean4で検証する(5):cycle1_hamiltonianの証明が終了

マガジン

  • 考察ノート集

    58 本

  • LLMブックマークまとめ（週刊）

    88 本

  • 実験ノート

    157 本

  • 探求ノート

    13 本

  • 読書ノート

    35 本

  • 夏休み2025

    8 本