Dev
A Practitioner’s Guide to the Lean Book Landscape
5/24/2026

Trends
Oliver Byrne’s Euclid Returns in Colorful, Interactive Form
5/23/2026
Python
The Mathematical Dance of Couth and Uncouth Function Pairs
5/22/2026

AI
AI Bridges Centuries-Old Divide: How OpenAI Solved a Geometry Conjecture Using Number Theory
5/21/2026
AI
The AI Disruption: Three Cultures of Mathematics at a Crossroads
5/10/2026

AI
ChatGPT 5.5 Pro Solves PhD-Level Math Problems, Raises Questions About Future of Mathematical Research
5/9/2026

Hardware
The Mathematical Beauty of Triangular Squircles: Creating Smooth Transitions Between Geometry and Nature
5/7/2026

Hardware
The Mathematical Beauty of Guitar Pick Shapes
5/4/2026
Trends
Reassessing Lean's Place in the History of Formal Mathematics
4/28/2026

AI
AI Solves Decades-Old Math Problem, But Mathematicians Question Significance
4/27/2026

AI
MIT scientists build the world's largest collection of Olympiad-level math problems, and open it to everyone
4/25/2026

Python
Finding Parabolas Through Two Points: A Mathematical Exploration of Artzt Parabolas
4/14/2026
Security
Andrica's Conjecture: A Prime Number Mystery That Could Revolutionize Prime Distribution Theory
4/9/2026