July 28, 2026 1,294-Point HN Post: Are Software Bugs Mathematical Destiny or Human Error? mathbugssoftwarephilosophy
July 23, 2026 Terence Tao, the World's Greatest Mathematician, Used ChatGPT to Crack the Jacobian Conjecture aimathchatgpttao
July 22, 2026 Outcounterexampled by Machines: How AI Toppled Three Major Conjectures in Two Months aimathleanformal-verification
