The Four-Color Theorem 1852–1976

Math learning disability affects how the brain tackles problems

Lindenmayer Systems

TIL about Math.hypot()

The largest number representable in 64 bits

Oregon raised spending by 80%, math scores dropped

Deterministic Programming with LLMs

Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4

ChatGPT finds an error in Terence Tao's math research

The Future of Math Research in the Age of AI