The homepage's only proof is "A world-record result, found by Aemon": one session beat the 2025 circle-packing record for under $10 of compute. But the page gives no score and no circle count. "View Aemon's solution" has no link in the page as served, and "Verify it yourself" opens the previous record holder's own results notebook, which shows their numbers, not Aemon's. A researcher who clicks to check finds nothing to check. Competitors set the standard here: one lab publishes its 27-circle sum of radii to 12 decimal places, with the coordinates, the solver and an independent checker on GitHub, and an open-source framework also claims to beat the same 2025 result. For buyers who judge by evidence, an unverifiable record reads as a claim, not a proof.
First action
Export the final coordinates and value from the record run and write a 30-line checker.
How to measure it
Proof-page to demo rate
- Now
- –
- Target
- 5% of proof-page visitors book a demo
- By
- 60 days
Steps
Pull the run
Final coordinates, value, cost, time and the key steps of the session.
Founder & CTO 1 day
Write the checker
A standalone script and notebook that checks overlap, bounds and the sum of radii.
Member of Technical Staff (Research Engineering) 1 day
Build the page
Value against the 2025 record and today's best public value, downloads and the run log.
Founder & CTO 2 days
Fix the links
Point "View Aemon's solution" and "Verify it yourself" at the new page and notebook.
Founder & CTO 1 hour
Show the number
Put the value and the old record side by side in the homepage section.
Founder & CEO 1 hour
Submit and share
Send to the public record table if it qualifies; post the checker to technical communities.
Founder & CEO 1 week
Track
Proof-page visits, checker runs and demos booked from the page.
Founder & CEO weekly
Why it works
Build a proof page at /results/circle-packing: the exact variant (number of circles, unit square, sum of radii), Aemon's value next to the 2025 value and today's best public value, the coordinates as a downloadable file, a short checker anyone can run in a notebook (non-overlap, inside the square, sum of radii), the run's compute cost and wall-clock time, and a short log of how the session got there. Point both "View Aemon's solution" and "Verify it yourself" at it, put the number itself in the homepage section, and submit the result to the public record table where it qualifies. If later results beat it, keep a dated history on the page.
Aemon sells to R&D teams, and researchers trust numbers they can rerun. A checkable result can be shared, cited and posted to technical communities, where an unverifiable one gets questioned. It also separates Aemon from rivals making similar claims, because few of them publish everything.
Ready to use
ChecklistProof page launch list
[ ] Exact variant: n circles, unit square, sum of radii [ ] Aemon's value, the 2025 value and today's best public value [ ] Coordinates as a downloadable file [ ] Checker script and one-click notebook [ ] Compute cost and wall-clock time [ ] Short run log: hypotheses tried, what worked [ ] Both homepage links point here [ ] Number shown on the homepage [ ] Submitted to the public record table if it qualifies
Risks and how to handle them
Publishing the number invites comparison with newer records
Show today's best public value honestly and date the result; the cost and method are the story.
Someone finds an error in the checker
Use exact, well-known checks and invite corrections publicly.
Evidence
- Your websiteHomepage (checked November 10, 2026): "A world-record result, found by Aemon": one session surpassed "Google DeepMind's 2025 AlphaEvolve result" on Circle Packing, "a classic NP-hard optimization problem", for "< $10" of compute. The page states no score and no circle count; the only link in the section, "Verify it yourself", opens DeepMind's own alphaevolve_results notebook, and "View Aemon's solution" has no link target in the page as served.Source
- Competitor researchCognizant AI Lab (August 6, 2026): its agent found a 27-circle packing with sum of radii 2.685978684198, beating the record of 2.685350025228 that had stood since 2011, then beat 21 live Packomania records across n = 2 to 93; the solver, an independent checker and every result are published on GitHub.Source
- Competitor researchShinkaEvolve: "an open-source framework (Apache 2.0 License)" for evolutionary code optimization with LLMs; it reports a new state-of-the-art 26-circle packing found with only 150 samples, which its authors say outperforms AlphaEvolve's.Source
- Y CombinatorCompany profile: Winter 2026 batch, founded 2025, team of 3, San Francisco. Aemon reads state-of-the-art research, then generates and evolves many candidate approaches against the user's evaluation criteria, and says it set a new world record on circle packing for under $10 of compute. The founders are twin brothers: the CEO is an international medalist in math and robotics; the CTO has published LLM research at ICLR and EMNLP.Source