TECH·4 days agoShow HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code | Hacker NewsHacker News
TECH·May 30, 2026Terence Tao argues AI could bring division of labor to math for the first time in historyTHE DECODER
TECH·May 25, 2026Google DeepMind's AlphaProof Nexus solves decades-old math problems for a few hundred dollarsTHE DECODER
