Proving olympiad geometry theorems on a superconducting quantum processor
DGX agentarXiv:2609.14533v1 Announce Type: cross Abstract: Automated theorem proving seeks to use computational systems to prove or disprove mathematical and logical statements [1, 2]. It underpins a wide rang