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
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
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
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