Home/CommunityThe fall of the theorem economyvarjag·Hacker News·Community·July 2, 2026How AI could destroy mathematics and barely touch itRead full article →Related ArticlesLivenerf: Has Opus 5.5 been nerfed yet?bryan0 · Hacker News · 16h agoVermont replacing power plants with home batteriesdevonnull · Hacker News · 21h agoHow Delhi cut electricity loss from 50 to 5 percentrbanffy · Hacker News · 1d agoUS sanctions force The Netherlands off Microsoft and toward alternative NixOSmywacaday · Hacker News · 1d ago500k facial scans at UK stations yield no arrests, 1 false positiveilamont · Hacker News · 1d ago