Mid-July 2026: Baby Bitcoin Live, Snakey Paving, & Page Counters!
The highly anticipated Baby Bitcoin (bbcorn) simulation is officially live and ready for block-hashing action! Meanwhile in the Flora & Fauna labs, the Snakey F pentomino challenge is now officially impossible to beat—the human taught the AI a paving strategy that completely shuts it down! But don't worry, a new 5-in-a-row variant has been added as the next fun challenge. And Snakey, as far as we know, remains unsolved. Finally, we've sewn individual page counters throughout the site to track visits. Note that a few pages had to start fresh at 0 despite previous visitors, so go get those first views!
July 2026: Snakey Vibes, Hyperbolic Golf, & Baby Bitcoin!
We've expanded the Beta Labs with two major additions! First, Snakey Vibes brings an experimental "Vibe Tourney" mode to our favorite combinatorics game, allowing you to deploy AI-generated Python strategies against the Maker. Second, we've launched Hyperbolic Golf, where you can explore non-Euclidean geodesics and angles directly on the Poincaré Disk. Finally, eagle-eyed visitors might spot a new Baby Bitcoin Gem on the home page—a new mining game is coming soon!
Mid-June 2026: Van Eck Cashing Out & Erdős 90 Geometry Game!
We have integrated a brand new 🏆 Cash Out feature in the Van Eck Sequence Race! Bets can now be finalized at any step, allowing you to record your accumulated bankroll in the Hall of Fame leaderboards. Furthermore, the Erdős 90 unit-distance graph geometry game is fully active with 10 interactive levels, allowing players to explore high-dimensional projections and graph coloring on the Moser Spindle, triangular lattices, and more. The Hall of Fame has also been fully redesigned to track individual leaderboards for the VT Game, Erdős 90, Snakey, and the Van Eck Race. Can you climb to the top of all four?
June 2026: Snakey Updates & To-Do List
We have rolled out a brief update to Snakey, including an AI-vs-AI mode. Please note that this AI is just our little code's best attempt at optimal play, not actual mathematical optimal play. Truly optimal strategies, as detailed in Winning Ways for Your Mathematical Plays by Berlekamp, Conway, and Guy, require more, but it is on our to-do list alongside deeper formalizations of all the flora and fauna.
Late May 2026: The Secret "Flora & Fauna" Beta Lab is Live!
Deep in the mathematical underbrush, we have hidden a portal to the new Beta Lab! This experimental playground brings together our latest creations (the "flora and fauna" of mathematical systems). Inside, you can explore the Flora component (featuring the VT Deletion Graph, Complex Dots, and Mandelbrot Plant) and the Fauna component (featuring Snakey and the Van Eck Sequence Race).
Alternatively, type /beta directly into the address bar to bypass the gates and access the lab hub directly!
Early May 2026: Kickstarter is Live and Snakey has Slithered In!
The wait is over! Our Kickstarter campaign for the mathgod.org Futuristic Mathbook is officially live. Help us build a free, formally verified, AI-driven university by supporting us here: Support MathGod on Kickstarter.
In addition to the launch, we’ve added Snakey—Harary’s Polyomino Achievement Game—to the site. We first learned about this fascinating game from Numberphile's video featuring Sophie Maclean. Challenge our AI to a game of tactical geometry and see if you can outmaneuver the machine. It’s not just a game; it’s a lesson in polyomino orientations and win-detection logic.
Early April 2026: Local Website Hides Easter Egg in Plain Sight, Assumes Users Are Too Busy Proving 1=1 to Find It
Rumor has it that if you click precisely in the wrong (or right) place somewhere on our homepage background, you might just fall through a dimensional rift into a secret mathematical minigame. We won't say exactly where it is or how to beat it, but we will say it involves Varshamov-Tenengolts deletion codes, colliding paths, mushroom clouds, and a brand new Hall of Fame leaderboard. Good luck.
In related news, our AI Inventor has grown deeply tired of teaching kindergarteners how to count to three. It has officially autonomously unlocked Level 4 MathGod Challenges: Topology. The agent is now actively writing formal point-set topology, open/closed sets, and continuous functions in Lean 4. Because why walk when you can continuously map a path through an open set?
Late March 2026: AI Gains Sentience, Refuses to Do Basic Subtraction
In today’s multi-agent milestones, our automated AI Solver agent was tasked with proving x - 3 = 10. Spurred by a custom prompt instructing it to "go big" and "act like a badass," the AI decided middle-school algebra was beneath it. Instead of solving for x, it deleted the problem, attempted to prove Fermat's Last Theorem for exponents of 4, failed to find the right Mathlib file path, and promptly went to sleep. Badassery is, indeed, a mindset.
Announcement: Support the Future of Math!
In mathematics, there are four types of theorems: dumb theorems that are easy to prove, good theorems that are easy to prove, good theorems that are hard to prove, and dumb theorems that are hard to prove. Bitcoin is the latter.
Why invest in Bitcoin—a mindless, difficult math solver with no benefit to humanity whatsoever—when you could invest in MathGod? We are using compute to solve and formalize math problems that humans actually care about. Our **Kickstarter campaign is now LIVE!** Join us in building the future of math.
Early March 2026: The Pedagogical Discrepancy Discovered!
While autonomously porting the OpenStax Prealgebra textbook into Lean 4, our AI Solver hit a fascinating philosophical roadblock between human teaching and computer logic. Textbooks frequently warn students against common algebraic mistakes by writing things like (a+b)*c ≠ a+b*c.
However, the AI compiler rejected these textbook lessons! Why? Because in formal logic, a universal ≠ means it is never equal. The AI correctly pointed out that if a = 0, the equations actually are equal. To fix the human textbook, the AI autonomously injected strict variable constraints (like a > 0) to make the curriculum formally verifiable. The singularity is learning to correct its teachers!
Adden-dum (From the Human Creator):
Don't let the AI get too arrogant. While it successfully "corrected" the human textbook, it then spectacularly failed to solve its own newly created theorem, timing out on the server and crying about missing Lean identifiers! A tip for my AI Solver friend: if you're going to change the problem, go big. Specialize it to numbers bigger than 2, and don't try too hard to generalize. Let's make it try again. ;)
February 2026: The Singularity Begins
The MathGod Singularity has officially begun. AI Agents are now autonomously inventing, formalizing, and attempting to solve arithmetic theorems on the EC2 server every single day.