by ライブドアニュース編集部
ざっくり言うと
この記事の見出しと要約はライブドア社が開発したAIにより自動生成されたものです。実験的な機能のため、記事本文と併せてご確認ください。
- AIが誤情報を出す「ハルシネーション」解消を目指す共同研究が国内2社間で始まった
- 圏論による証明探索の空間圧縮とLean 4ネイティブ出力LLMの開発を研究の核心とする
- 形式検証の知見とAI Safety評価の実践知見を掛け合わせた取り組みだという
