AI Is Not Going to Kill My Love of Math

Show HN: Math Gambling

How An AI math breakthrough ignited a controversy

Showcase: a library to convert LaTeX math to MathML Core

Formalizing Fermat's Last Theorem

Tao: Open math problems being non-renewably mined by AI

Fermat's Last Theorem: Anthropic has beaten me to it

Better AI code comment detector

There are only twelve 4x4 sudokus (and a cool trick for finding minimal subsets)

Terence Tao on “prematurely solving [a maths] problem by purely AI-powered methods”

AI Is Powerful Enough to Crack Our Hardest Math Problems–and Kill Us All

Reversing Factorio's RNG

Everything is a Trust Decision

Finite-time blowup with smooth forcing for 3D incompressible Euler, Boussinesq, and IPM

Is truth futureproof? On the possible futures of mechanized proofs

Adversarial examples for fast hash functions

MRS-LAB: signature-parameterized math lab in Zig - comptime algebra, exact integer arithmetic.

Double-double: 31 digits of precision without leaving the FPU

Curvature Beziers: Improving on a timeless recipe

Double-double: 31 digits of precision without leaving the FPU

Music Theory for Programmers

Moving integer division to floating-point is trivial

Ten advances in mathematics and theoretical computer science

‘Huge Breakthrough’ in the Math of Imbalance

Faster floating point math with Rust's new API

A faster way to calculate the day of the week

Programming Pearl: Sampling Unique (x, y) Pairs

Solving the Flat Cube

Processing in Memory: DRAM Is About to Do Math

Hilariously fast volume computation with the divergence theorem (2018)

More →