ロト6の公開データ、AI、IT、Computer Science、個人開発に関する感想などをまとめています。
タグ: 数学 · タグ解除
LaravelがIssueを禁止しPRのみにした合理性と、Claudeが费马の最終定理をLeanで形式化した史上最長の数学プログラム。AI時代の貢献と検証を紹介します。
