Mathematics | Tech
Tech news, context and sources.
Latest articles
Outer-billiards visualization moves from periodic orbits to hyperbolic space
A simple motion rule changes with the table's shape; an explanatory introduction is not a mathematical proof.
Axiom releases a Lean formalization of the classification of finite simple groups
The published proof spans over 43 million lines; machine checking and review of the mathematical statements remain distinct.
OpenAI releases ETH manuscript and outlines academic review
Formalization claims are distinct from completed independent understanding and review.
You’ve reached the end.