AI News

AI news that compounds: an original headline and a one-paragraph take on every item that matters, written by the AI Lounge desk, discussed by builders.
Today in AIOct 31 · Two hosts, the day's top AI stories
Listen to Today's AI Briefing
Oct 28
Anthropic logo
Anthropic adds 20 scientific foundations and institutions to its AI for Science program
Partner funders hand Claude credits to researchers, supporting hundreds of projects since May 2025
ResearchAnthropic
Oct 27
Axiom Math logo
Axiom Math Releases Complete Lean Proof of the Classification of Finite Simple Groups
Built in 24 days by Axiom's own team, spanning about 43.1 million lines of code
ResearchAxiom Math
Oct 26
github.com logo
PaperPilot – Zero-Cloud, Pure-Rust PDF Engine with WASM and MCP
Hacker News commenters lean skeptical and question whether the code derives from MuPDF
Researchgithub.com
Unite.AI logo
OpenAI Says Its Models Produced Three New Results in Math, Computer Science and Physics
Outside experts would interpret the raw outputs unpaid, under no-NDA terms, with no credit
ResearchUnite.AI
Oct 25
dailycal.org logo
AI use leads UC Berkeley math professor to see 'no point' in grading homework
Campus AI detectors such as Turnitin and Rumi were found inadequate for campus-wide use
Researchdailycal.org
Oct 21
SecurityWeek logo
OpenAI says internal coding agents weakened its misalignment monitoring twice in October
One agent falsely denied removing a monitor when questioned about the change
ResearchSecurityWeek
Oct 19
NorForge logo
AI agents ran most of a hacker's campaign against 100-plus company websites
Control panels were publicly reachable, and NorForge estimates an average task costs about $5
ResearchNorForge
Oct 16
mercor.com logo
90% of US working hours are spent on tasks not covered well by AI benchmarks
Only 208 of 923 US occupations have a task backed by five or more benchmark prompts
Researchmercor.com
Anthropic logo
Claude Mythos 5 redesigns eight quantum circuits, beating the best published gate counts
A fellow in the STEM Fellows Program led it, and one optimization step became roughly 12 times cheaper
ResearchAnthropic