Why a Trivial Equality Becomes a Giant Hub in Formal Math
A network-science map of Lean’s Mathlib finds proof dependencies diverge from subject labels—and basic equality rules become giant hubs.
Math
The Drawing Puzzle That Finally Capped a Thrackle’s Edges
A long-standing graph-drawing puzzle gets a sharper edge limit through topology, short-cycle clues, and a clever face-by-face charge transfer.
The Mesh’s Hidden Skeleton Could Keep Physics Simulations Honest
A new theorem connects mesh topology to energy-stable neural physics, helping simulations learn geometry without relearning conservation.
Four Colors Break a Conjecture About Mathematical Groups
A four-color rule makes fair invariant averaging impossible, while finite quotients build a bounded-orbit type that overturns a group theory conjecture.
How Hidden Smoothness Lets Exotic Spheres Curve Positively
Exotic spheres may hide distinct smooth structures beneath positive curvature, expanding the geometric possibilities in infinitely many dimensions.
How Tiny Memory Can Count Enormous Mathematical Families
A new complexity-theory toolkit shows how tiny-memory verifiers can count Dyck paths, tableaux and more by checking candidates one at a time.
A New Geometric Route to Counting Rational Points Near Curves
A geometric duality trick turns crowded rational points near curves into a sparse counting problem, yielding sharp bounds in 3D.
A Uniform Point Pattern Hides a Structure No Grid Can Match
A point pattern can have uniform density and still resist every bounded-distortion match to a regular lattice.
How Binary and Ternary Digits Unlock a Fractal Approximation Problem
A new digit-tracking method proves when powers of two bring typical points in the middle-third Cantor set close to integers.
A World of Lines Hides the Answer to a Touching-Cylinder Puzzle
A hidden system of geometric signs proves that seven is the most infinite, equal-radius cylinders can touch pairwise in three-dimensional space.
Can Control Theory Expose Optimization's Hidden Machinery?
A control-theory framework recasts optimization as guided motion, revealing how hidden states and carefully chosen steps can lead toward candidate solutions.
A Deterministic Search Finds Long Cycles—or Splits a Number
A number-theory algorithm turns small modular cycles into a deterministic search for a factor, using smooth numbers to keep the search fast.
A 3-by-3 Matrix Breaks a Longstanding Rank-Minimization Conjecture
A three-by-three matrix overturns a 2011 rank-minimization conjecture, showing two natural ways to measure error can disagree.
A Two-Color Point Cloud Cannot Hide a Nearly Empty Hexagon
A geometry theorem forces a nearly empty monochromatic hexagon in every sufficiently large two-color point set, with a guarantee at 306,447 points.
A Simple Clue May Help Machines Find Better Mathematics
A new math study uses the gap between a theorem’s short statement and long proof to guide machine-generated mathematical discovery.
Why Tiling and Perfect Waves Match in a Seven-Bit World
A new theorem links exact tilings and orthogonal Fourier patterns in a seven-bit space, while exposing the hard next cases.
The Geometry Trick That Limits Equally Distant Binary Messages
A new eigenvalue-based proof turns equal-distance messages into geometry, exposing a sharp limit and the lone distance where it bends.
Why Some Cubic Systems Defy Every Stability-Checking Algorithm
A new proof shows why no algorithm can always decide whether sufficiently high-dimensional cubic equations settle at the origin.
The One-Point Threshold That Breaks a Distance-Free Geometry
A finite geometry can hide all nonzero distances at a precise size. One point beyond it forces a rich set of distance values.
Two Anchors Reveal the Sharp Threshold Above Which Shapes Are Convex
A new theorem finds the sharp convexity threshold for a distance product built from two points—and shows why more anchors complicate the frontier.