FormalFlowシステムは複数のAIエージェントを調整して、MIP*=REの核となる定理である低個別次数テストの量子的健全性の形式化に取り組みました。63日間で126,367行の検証済みLeanコードを完成させ、発表済みの証明における複数のエラーを発見・修正しました。

#量子複雑性 #形式数学 #定理証明