大規模言語モデルが量子最適化問題を解く——人工知能と量子計算の交差点で新たな発見
量子最適化に関する長年の問題に対する機械検証済みの証明
査読前の可能性がある研究情報
大規模言語モデルが量子最適化問題の証明に成功
Quantum Approximate Optimization Algorithm (QAOA)
Lean 4
Claude Fable 5
Farhi, Goldstone and Gutmann conjecture
arXiv cs.AI