Find XO: Pramaana Labsが形式検証で2,700万ドルを調達 (techcrunch.com)

- Pramaana LabsはKhosla Venturesから2,700万ドルのシード資金を調達し、法務、創薬、税務準備などの敏感な分野におけるAIの正確性を形式検証で保証すると表明した。 - 大きな投資を受けたからといって、検証技術の信頼性が証明されたわけではない。 - 誤りのコストが高い市場を選び、後から検証を追加するというミスは避けるべきだ。 - 狭い分野で最初に基準をクリアすることが順序である。