海外の話題 Hacker News 748pt Mistral AIが「Leanstral」を公開形式証明×コーディングのOSSエージェントがHNで748pt 2026年3月18日｜Aitly編集部 Mistral AIが2026年3月16日、形式証明（Formal Verification）に特化したオープンソースAIエージェント「Leanstral」を公開しました。Lean 4向けに設計された初のOSSコードエージェントとして、Hacker Newsで748ポイントを獲得し、AIコーディングの信頼性を ...