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