50 years of proof assistants

Accurate color conversions (2023)

How Is Compression Prediction?

The mathematical beauty of hyperbezier curves

A noob learns FFT

A decades-old bug in Knuth's long division (TAOCP Vol II, Algorithm 4.3.1D)

The Math Superstar Who's Terrified of AI–and Just Took a Job at OpenAI

Making holograms with a pen plotter

Why Erdős Problems Are Falling to AI

OpenAI's latest math breakthroughs commit research misconduct, experts say