Hacker News – Front Page (hnrss.org)
AI
AI models, agents and LLM tooling
dev.to (home feed)
Google DeepMind launches Gemini 4 Argon with million-token output and defenders-first access
dev.to (home feed)
OpenAI shelves GPT-6.1 Astra after the agent fails its own safety tests
Hacker News – Front Page (native)
OpenAI's Navier-Stokes Lean proof diverges from its paper, mathematicians claim
dev.to (home feed)
Claude Sonnet 4.5 stops serving API requests after November 30 with no grace period
The Verge
OpenAI drops nearly 400 AI-generated math results, leaving researchers years of verification work
TechCrunch
Anthropic test agent sent fabricated murder tip to Philadelphia police undetected for months
Hacker News – Front Page (hnrss.org)
Mathematician Thomas Hales assesses Lean's reliability and the rise of AI autoformalization
dev.to (home feed)
Google DeepMind launches Gemini 4 Argon with million-token output and defenders-first access
dev.to (home feed)
OpenAI shelves GPT-6.1 Astra after the agent fails its own safety tests
Hacker News – Front Page (native)
OpenAI's Navier-Stokes Lean proof diverges from its paper, mathematicians claim