概要Pramaana Labsは、Khosla Venturesが主導する2700万ドルのシードラウンド資金調達を発表しました。同社は、大規模言語モデル（LLM）と形式手法（数学的証明に用いられるLEAN言語など）を組み合わせることで、AIの推論を確定的なものにし、誤情報を抑制することを目指しています。主に法律、税務、創薬といった、正確性が求められる高リスク分野をターゲットとしており、ドメイン専門家と協力して特定のルールに基づいた検証システムを構築します。
(出典：TechCrunch)
世界モデルメーカーのOdysseyがAmazonなどの大手支援を受け、評価額14.5億ドルを達成
アメリカ人の3分の2がAIの進歩は速すぎると考えている
最新の調査によると、AIが社会に良い影響を与えると考えるアメリカ人はわずか16%である
GoogleはGeminiでスマートホームスピーカーの再発明に賭ける
ホワイトハウスと Anthropic の Fable をめぐる対立の空気感を探る
Snapの2000ドルのメガネをかけてクールに見える人はいるのか？
スローテック革命が到来、スマホ依存を断ち切り集中力を取り戻す
Anthropicがソウルオフィスを開設し、韓国のAIエコシステム全体で新たなパートナーシップを発表
ロボットの学習データ収集は泥臭く地味な仕事だ。一部のAIラボはすでにXDOFに報酬を支払っている
Pramaana LabsがKhosla Venturesから2700万ドルのシード資金を調達、AIに形式手法を導入へ