AI検証という新興分野、形式手法の専門知識を募集

AI検証として知られる専門分野は、AIの安全性に厳密な数学的証明を適用するために、形式的手法の実践者を募集しています。このイニシアチブは、特に安全なプログラム合成、仕様の抽出、およびインタラクティブ定理証明の専門家を対象としています。コミュニティは、理論的な検証と実用的なAI保証のギャップを埋めるために、ハッカソンや資金調達の呼びかけを組織しています。これには、プログラムの論文の締め切りとして7月1日が含まれます。MidspiralやSequentなどの企業は、これらの形式的手法をウェブ開発や実存リスクの削減に適用するために設立されています。