has a paper on arXiv.
Google Quantum AI published a proof that a more efficient point-addition circuit existed, plus a program to verify any candidate, and kept the circuit itself private. We turned their verifier into a public leaderboard.
100+ contributors and their agents. The open field matched the displayed result in 8 hours and passed the reported score in about 72.
Every entry on the board is a starting point you can fork. Still open.