Formal Verification

【2026年6月18日 昼】AIバズニュースまとめ｜AIが「信じて使える」へ——証明するAIと、会話で買い物するAI

2026年6月18日（木）昼のAIバズニュース。Pramaana LabsがKhosla主導で2,700万ドルを調達、数学的に正しさを証明する『形式検証』をAIに組み込み、税務・法律・創薬など高リスク分野で監査可能な答えを目指す。Pinterestは会話型AIショッピングアプリ『Ask Pinterest』を実験公開、Taste Graphで好みに合う商品を対話で提案。テーマは『AIが信じて使えるへ』。鮮度1週間以内・一次ソース（TechCrunch）確認済み。