ブンリンAIラボ
新着
PLUS ULTRA
ニュース
特集
データ
日本語
日本語
English
タグ: Lean
ニュース
AIエージェントがより高速な最短経路アルゴリズムを発見し、Leanによる形式検証済みの証明を提供