A Call for Action: The "Leiden Declaration on AI and Math"

An internal OpenAI Astra model solved 10 major open math and CS problems

Learning more about Claude's mathematical capabilities

Lidiuma-Math: a math library using Project Valhalla

Enshittification Relies on Broken Economic Math

50 years of proof assistants

Accurate color conversions (2023)

How Is Compression Prediction?

The mathematical beauty of hyperbezier curves

A noob learns FFT