Proud to be a coauthor and friend of @jackieleeeth and @jieyilong (CTO @Theta_Network) on — now on @arxiv. Jackie invited me into the @eigenlabs challenge, and we found solutions to shrink secp256k1 point-addition circuits in Shor's algorithm. Across the leaderboard, humans and AI agents cut the qubits×Toffoli score by 86% — more than 50% below Google's published thresholds (different accounting conventions, so a numerical rather than formal comparison). It was so much fun meeting @jieyilong, @nasqret, @gajesh , @drakefjustin and everyone else along the way. Huge thanks to the organizers for the challenge and the fun, and to this amazing community. Coauthors from @ethereumfndn, @StarkWareLtd, @Starknet, @trailofbits, @brevis_zk, @SeiNetwork, @pauli_group, @OctavFi, @sciencevr, Adam Mickiewicz University, Warsaw University of Technology and Stanford's Free Systems Lab. Reviewed before publication by Craig Gidney and Tanuj Khattar of @GoogleQuantumAI. Full paper: