No slop · no ads · daily

The stack

4 picks · curated
03
Hacker News txt 395 c · 331 pts

Mathematics has changed. Let's act like it

In a guest post on Terence Tao's blog, number theorist Frank Calegari says OpenAI's October release of 700+ AI-written papers (badly written, poorly attributed, sometimes wrong, but full of real ideas) should prompt reorganization, not mourning. Mathematicians should verify and rewrite the results the way the finite-simple-groups classification was revised, and reward people who chase deeper structure instead of declaring fields solved.

04
Lobsters txt Robert Haas · 10 h

Postgres 19 is late, and it's AI's fault

PostgreSQL committer Robert Haas says v19 will slip to November or later because LLM-assisted bug hunting has flooded the project. Back-patched commits jumped more than 60% year over year, and three big features (FOR PORTION OF, SQL/PGQ, MERGE/SPLIT PARTITION) were reverted late. Models find decades-old bugs far faster than humans can review and land the fixes.