Verification

AnthropicはFlashProveを発表した。これは暗号技術を用いて、重みを公開することなくAIの応答が主張されたモデルから生成されたかどうかを検証する研究用プロトタイプである。同社は、このシステムには依然として重大な制限があると述べている。

研究 • The Decoder

OpenAIは、そのモデルが3つの科学問題に関して新たな結果を生み出したと発表した。その中には、指数時間仮説が偽であるという証拠も含まれている。同社はこれらの結果を検証とさらなる研究のために学界と共有している。

AI研究 • Hacker News

生産性

AIはオープンソースライブラリ向けの数学的なセキュリティ証明を生成でき、ソフトウェア検証を強化し、脆弱性を減らすことができます。

&Truth • Seed

&Truthは、AIを活用して正式なソフトウェア検証を実用的なものにするという賭けに出ているスタートアップであり、この分野のスタートアップ群の一環として、7000万ドルのシードラウンドで始動した。