Ask your AI for a certified ground-state energy.

Ask “Is ethanol in the BECOME Quantum catalog?”

Find a molecule among 125,999 small neutral molecules from PubChemQC by formula (any element order), name, PubChem compound ID, catalog entry number, SMILES, InChIKey, or InChI.

Tool: become_energy_search

Ask “Show me the Hamiltonian for ethanol.”

Get a catalog entry’s FCIDUMP file, with its SHA-256 fingerprint, active space, Hartree–Fock energy, and 3D geometry. Your order is bound to this fingerprint.

Tool: become_energy_fcidump

Ask “Order Ultra-precise accuracy for ethanol, 30 days.”

Choose an accuracy level, a deadline of 30, 60, or 90 days, and a bid in US dollars. You get a link to review and approve the order with your early access code. Nothing is ordered until you do.

Tool: become_energy_order

Ask “Let me know when my order goes through.”

Right after you get the approval link, your AI watches for your approval and tells you as soon as the job is submitted, with a link to its job page.

Tool: become_energy_wait_for_approval

Ask “What’s the status of my BECOME Quantum order?”

See where your order stands, from approval through each step of the job to the invoice and, once you pay, the certified result and its proof.

Tool: become_energy_order_status

Ask “Cancel my BECOME Quantum job.”

Close an order you haven’t approved, or cancel a submitted job before we accept it. Once we accept a job, it can’t be canceled. Your AI confirms with you first.

Tool: become_energy_cancel

Ask “Verify the proof for my BECOME Quantum job.”

Check a completed job yourself, on your own computer, with become-verify, our public, verify-only checker. Your AI gets everything from the order’s status: download links for completion.bin (and final.bin after you pay), your FCIDUMP, the published verification key, your level and the exact commands. Before you pay, PASS on the completion proof shows your file’s fingerprint and that your accuracy target is met, while the bounds stay sealed. After you pay, PASS on the pair shows the bounds you received are exactly the ones sealed before payment.

Tool: become_energy_order_status (its verify block)

Ask “Where can I see all my BECOME Quantum jobs?”

Sign in when needed: once you sign in to the connector with your Beloved Ecosystem account (Google or an email code), your AI lists your own orders and their status. Without signing in, you get a link to your jobs page, where you sign in to see every order.

Tool: become_energy_my_jobs

You get a proven lower and upper bound on the ground-state energy of the Hamiltonian you selected, at the accuracy you chose. The result is tied to that Hamiltonian file by its SHA-256 fingerprint, a short code that identifies that exact file. It comes with a zero-knowledge proof you can verify in seconds, without trusting us or any third party.

"Exact" describes full CI's equations, not the floating-point number your solver returns. Lower bounds computed in floating point have already come out above the full CI energy for LiH, HF and four other molecules, by up to 1 mHa (Nakata et al., J. Chem. Phys., 2001). Recomputed with every rounding error accounted for, the bounds came out below full CI (Chaykin et al., J. Chem. Theory Comput., 2020). Your own calculation can convince you. It can't prove anything to anyone else. A certified result can. For ethanol's CAS(8e,8o)/6-31G* Hamiltonian (catalog entry 17291), we proved the lowest energy lies between −154.0733873199 and −154.0733873198 Ha, an interval 10⁻¹⁰ Ha wide, with a proof anyone you share it with can verify.

Before you pay, you get a completion proof. It shows the file's fingerprint and that your accuracy target is met, while the bounds stay sealed. You check it yourself on your own computer with become-verify, our public, verify-only checker; nothing is sent anywhere. After payment you get the bounds and a final proof, and become-verify confirms both proofs carry the same commitment, so the bounds are the ones the completion proof sealed.

We compute a lower and an upper bound together with a certificate. A checking program verifies that certificate inside an SP1 zero-knowledge proof, wrapped as Groth16. The checking program's soundness is proven in Coq: if it accepts a certificate for a Hamiltonian, the bounds hold for that Hamiltonian. Our method for computing the bounds is proprietary, and you don't need it to verify the result.

The certificate covers exactly the Hamiltonian file you ordered, identified by its SHA-256 fingerprint. For a catalog entry, that's a CAS(8e,8o) active-space Hamiltonian built with RHF/6-31G* at the PubChemQC PM6 geometry. It certifies bounds on the ground-state energy of that model Hamiltonian, rather than the full physical energy of the molecule in nature, which also depends on the basis set, active space and geometry.

Not yet. BECOME Quantum Custom (coming) will let you submit your own FCIDUMP file. Today, you can order from the BECOME Quantum Hamiltonian Catalog of 125,999 ready-to-use Hamiltonians.

Each order gets a new zero-knowledge proof, made for your file and your accuracy target. Producing a proof takes substantial computing power, so we schedule the work, and the three windows let you choose how soon you need your result. Checking a finished proof takes seconds.

Before you submit, you confirm your Hamiltonian, your accuracy and everything your certificate will cover. Then you bid what you want to pay and choose a deadline of 30, 60 or 90 days. Nothing is charged when you submit. We accept or decline each bid, and once we accept, your bid is the fee and the order can't be canceled. By your deadline, we send your completion proof, then email you an invoice, due on receipt. If we can't reach your accuracy by your deadline, you owe nothing.

No. We compute the bounds and generate the proofs on classical computers, and the proof verifies on an ordinary computer in seconds. BECOME Quantum is named for the problems it solves: ground-state energies of quantum-mechanical systems, including strongly correlated problems often cited as needing a quantum computer.

BECOME is built by Beloved Ecosystem, Inc., founded by Chinedu Uzoma Echeruo, who previously built HopStop (acquired by Apple in 2013). Every result comes with a proof you can verify yourself with become-verify, our open-source checker built on SP1's verifier, so you can check correctness directly rather than relying on anyone's review of our solver. Our catalog and its Data Descriptor (https://doi.org/10.5281/zenodo.23601240) are published openly.