Thomas Bloom explains that rapid advances in AI have reshaped how people interact with Erdős-style mathematical problems: progress has accelerated, but much of the site’s recent activity consists of brief AI-produced proofs posted as priority claims with little explanation. That shift has discouraged human engagement, encouraged a gamified rush to claim results, and led some to dismiss these problems as trivial or solely machine-solvable. Bloom cites growth after adding comments in August 2025 and gives concrete usage figures - launched May 28, 2023 with ~200 problems, now 1,221 problems, over 9,000 comments, ~2,000 registered users and 10-25k daily unique visitors - then argues the site should foster human understanding rather than become an AI repository.
In response he announces policy changes: freeze new problem comments and proof-claim postings (general threads and blogs remain open); stop showing problem statuses and solved percentages; remove credit/ownership language for future results; and prioritize high-quality human expositions, soliciting well-written writeups and linking verified formalisations (e.g., Lean) where available. He will manually update the archive and assess existing proof claims, decline contributions that misrepresent AI use or plagiarize, and leave the hiatus duration open while inviting alternative ideas and other venues for purely formal AI proof repositories.
Summary generated by AI from the linked article. hn.today is not affiliated with Hacker News or Y Combinator.
Weight-loss drugs, specifically GLP-1 receptor agonists, show evidence of slowing biological aging according to drugmakers. Researchers are exploring these drugs' potential to extend lifespan beyond weight management benefits. (technologyreview.com)
Mathematics plays a key role in exploring and optimizing geothermal energy extraction, using models to understand fluid flow and heat transfer. Despite its environmental benefits, geothermal energy adoption remains slow due to high costs and site limitations. (ebsco.com)
Antarctic krill has a biomass of about 379 million tonnes, making it one of the most abundant animal species by mass, closely rivaling humans. Cattle, with approximately 650 million tonnes, are the most biomass-rich domesticated animal, while plants like sugar cane surpass all animals in total biomass. (signoregalilei.com)
A new algorithm achieves subquadratic time for solving 3SUM and subcubic time for APSP on graphs with polynomially bounded weights, refuting longstanding hypotheses. These results are based on a novel approach to sparse matrix multiplication, impacting various computational complexity conjectures. (arxiv.org)
Fervo Energy completed the world's first enhanced geothermal power plant in just 23 months and began selling electricity ahead of schedule. The 100-megawatt plant in Utah has the potential to generate up to 4 gigawatts, with future blocks expected to be built even faster. (techcrunch.com)
The resilience of nature to recover from species loss is much less than previously believed. Ecosystems are more fragile, and their ability to bounce back is overstated. (phys.org)
Today's best Hacker News stories, summarized and screenshotted, one email a day.