ブンリンAIラボ
新着
PLUS ULTRA
ニュース
特集
データ
日本語
日本語
English
タグ: ジョン・コンウェイ
ニュース
AIマルチエージェントのワークフローがConwayのRefinement Conjectureに関するLean検証済みの証明を生成