#program correctness のAIニュース

リーンソフトウェアのスケーリング法則（17 分読）

TLDR AI は、プログラミング言語「Lean」が既存コードベースでは他の言語より不利だがスケーリング特性に優れ、将来的には大規模なプログラム正誤性の向上で勝利する可能性があると分析した。