>> SYSTEM WARNING: EXPERIMENTAL MATHEMATICS DOMAIN <<< /p>
The 167-Second Pause. Explore the calculus of anticipation, Proof-of-Patience (PoP), and trans-Pacific fiber optic tension.
The sky's the limit! Formalize the calculus limits of your dreams in Lean 4.
Level 5: The Uncompilable Monster. Demands full Mathlib imports to verify.
Interactive Eulerian velocity field with Lagrangian particle advection.
Play against the trained AlphaGo Zero neural network.
Vibe Tourney mode: AI-generated python strategies.
Interactive 3D Quaternion space. Click two bases to compute their non-commutative product with explosive results!
Move 4 points along arbitrary Jordan curves to form an inscribed square.
Untangle graphs by dragging vertices and test whether two graphs are isomorphic.
Move vertices & edges to eliminate crossings and determine if graphs are 2D planar or non-planar (Kβ & Kβ,β).
Visualize the Hungarian algorithm finding perfect recovery mappings for random geometric graphs via shallow GNN embeddings.
Brownian motion and harmonic measure density.
Dynamic system trajectories and complex iteration.
Non-Euclidean geodesics on the PoincarΓ© Disk.
Conformal crowding and derivative integrals on fractal domains.
Watch the limsup behavior of the Van Eck sequence and bet on statistics.
Explore the 80-year-old conjecture disproved by AI in 2026. Project high-dimensional lattices & color unit graphs.
Grid and polar mapping of complex functions (zΒ² and more).
Gamified trans-Pacific arrival times & probability betting.
Interact with limit definitions of derivatives and Riemann sum approximations under dynamic parameters.
Interact with limit definitions of partial derivatives and gradients for 2D surfaces.
Explore Sβ group operations with colored spheres. Inspired by Dr. James Grime on Numberphile.
Factor semiprimes classically via sequential scanning versus quantumly via QFT period-finding.
Launch the Collatz puck up the carnival tower and test your strength against the Collatz Conjecture.
Map between algebraic ideals and geometric shapes via Hilbert's Nullstellensatz.
Hack hashes via Grover's algorithm and build quantum circuits (QFT) with Google Cirq.
Interactive 10-slide masterclass on quantum state vectors, Bras, Kets, Operators, and Born rule measurements.
Place logic gates and route wires on multi-layer silicon to optimize Area, Wirelength, and Timing.
Interactive 2D vector field simulator with customizable equations, Euler integration, and physics.
Interactive 3D visualization of Isohedral and Isogonal solids, inspired by Connor Hill's Numberphile discovery.