it.xnews.jp

API

タグ "formal-verification" で絞り込み中 (5 件) — すべての記事に戻る

Claudeが11日間でフェルマーの最終定理をLeanで完全に形式化 2026-09-04
formal-verificationartificial-intelligencemathematics
Lean カーネルの健全性バグ #14576 が発見・修正 2026-08-01
leankernel-soundnessformal-verificationproof-checkingcybersecurity
Leanを用いた暗号プロトコルの形式検証入門 2026-07-22
formal-verificationleancryptography
GPT-5.6 Sol Proが凸最適化の30年ぶりの複雑性ギャップを証明、Leanで正式検証 reddit · 2026-07-18
ai-mathematicsconvex-optimizationmachine-learningformal-verificationcomplexity-theory
Mistral AI、形式検証向けの新モデル「Leanstral 1.5」を公開 Mistral AI · 2026-07-04
leanformal-verificationmodel-release

Generated by it.xnews.jp on Cloudflare Workers. Articles are auto-translated from English sources by Claude.