Sheff C (𝔦, 𝔦)
2.6K posts
@SheffC_eth
Trench Scientist
NEW CHALLENGE ANNOUNCEMENT Announcing the Energy Arbitrage designed in collaboration with @cryptoeconlab It's been on testnet for over a month and live on mainnet next week! So what is energy arbitrage and why does it matter? AI is eating electricity faster than grids can supply it The algorithms that decide how grid-scale batteries charge and discharge are becoming some of the most consequential algorithms on Earth, and until today they've been locked behind closed doors.
Andrej, I’m John Fletcher. I have a PhD in mathematics and theoretical physics from Cambridge, and since 2016 I have been working full-time on the problem of how to coordinate untrusted distributed compute for algorithmic innovation. I listened to your No Priors conversation and recognised the architecture you were describing: commits that build on each other, computational asymmetry (hard to find, cheap to verify), an untrusted pool of workers collaborating through a blockchain-like structure. The result is The Innovation Game (TIG), which has been in continuous operation since mid-2024. The correspondence is so close that I thought it worth writing. The short version: roughly 7,000 Benchmarkers test algorithms submitted by Innovators by solving instances of asymmetric computational challenges (SAT, Vehicle Routing, Quadratic Knapsack, Vector Search, among others). This testing is "proof of work" in the technical sense of Dwork and Naor (1992). Innovators earn rewards proportional to adoption by the Benchmarkers. The repository of algorithms is open source (github.com/tig-foundation…). The system is already producing state-of-the-art results. For the Quadratic Knapsack Problem, 476 iterative submissions by independent contributors brought solution quality to a level that now exceeds methods published by Hochbaum et al. in the European Journal of Operational Research (2025). We are working with Thibaut Vidal (Polytechnique Montréal), who has submitted a state-of-the-art vehicle routing algorithm directly to TIG, and with Yuji Nakatsukasa (Oxford) and Dario Paccagnan (Imperial College London), among many others. One of TIG’s active challenges is directly relevant to your autoresearch work: an optimiser for neural network training (play.tig.foundation/challenges?cha…), where Innovators compete to develop an improved optimiser (see screenshot). One way in which TIG extends the vision is on the economic side. In our view, a monetary incentive is required, otherwise the open strand simply cannot compete at scale. TIG’s open source dual licensing model (designed by my co-founder Philip David, who was General Counsel at Arm Holdings for over a decade, and was the artchitect of ARMs licensing strategy) is intended to solve that problem. I expect we have each thought about parts of this that the other hasn’t. Happy to talk whenever suits. John Fletcher tig.foundation
NEW CHALLENGE ANNOUNCEMENT Announcing the Energy Arbitrage designed in collaboration with @cryptoeconlab It's been on testnet for over a month and live on mainnet next week! So what is energy arbitrage and why does it matter? AI is eating electricity faster than grids can supply it The algorithms that decide how grid-scale batteries charge and discharge are becoming some of the most consequential algorithms on Earth, and until today they've been locked behind closed doors.
By the start of 2026, shock at AI’s mathematical abilities had turned into something more like wonder — and concern. @kkakaes reports on this turning point: quantamagazine.org/the-ai-revolut…
Announcement time! Dr. Karim Tamssaouet joins @tigfoundation as Challenge Owner for Job-Shop Scheduling One of the world's foremost experts on this problem, with deep experience across both academia and industry. He co-authored the definitive 30-year review of the Job Shop Scheduling Problem, co-founded Planimize which deploys scheduling optimization into semiconductor fabs, and is an Associate Professor at BI Norwegian Business School. We could not have found a more qualified person to own this challenge. Incredibly excited to have him on board!
Announcement time! Dr. Karim Tamssaouet joins @tigfoundation as Challenge Owner for Job-Shop Scheduling One of the world's foremost experts on this problem, with deep experience across both academia and industry. He co-authored the definitive 30-year review of the Job Shop Scheduling Problem, co-founded Planimize which deploys scheduling optimization into semiconductor fabs, and is an Associate Professor at BI Norwegian Business School. We could not have found a more qualified person to own this challenge. Incredibly excited to have him on board!
Fully automated AI framework that solved an open problem in commutative algebra and verified the proof in approximately 19,000 lines of Lean 4 code. This is an end-to-end pipeline where AI agents autonomously discovered and formally verified a solution to a previously unsolved research problem.
@DreadBong0 @QuoteJenks2 Yes thats correct
