Theorem

This is a guest post by Thomas Hales. This blog post was initially written in a different file format and converted using AI. - T. Mathematicians have been weighing in on what they value ab…

Miquel's pentagon theorem, an elegant and relatively recent theorem in Euclidean geometry.

An elegant plane geometry theorem, discovered recently relative to the 23 centuries since Euclid.

A shared, verified software stack, starting with every project in the nixpkgs ecosystem.

Bridging the gap between Mathematics and Computer Science

Fundamental Theorem of Calculus: an existing Mathlib result, with a plain-language explanation, the exact upstream declaration intervalIntegral.integral_deriv_eq_sub, and a separate Lean recheck.

Mathematicians are unhappy about OpenAI. Several influential mathematicians wrote an open letter. The gist of their argument is that they form a community that trains young people. When AI started producing breakthroughs on hard mathematical problems, I a

By revisiting the famous problem - which was controversially solved in the 1970s with the help of computers - mathematicians have gained important new insights into the nature of graphs.