Hacker News – Front Page (hnrss.org)
AI
AI models, agents and LLM tooling
Hacker News – Front Page (hnrss.org)
Claude writes first complete computer-checked Lean proof of Fermat's Last Theorem
Hacker News – Front Page (native)
Simultaneous Outages Hit ChatGPT, Claude and Grok With No Cause Given
Hacker News – Front Page (native)
Google AI Mode prices identical products 21.6% higher than traditional search, study finds
Hacker News – Front Page (hnrss.org)
GPT-6 Astra's KiCad demo puts AI circuit design to the EEBench test
Hacker News – Front Page (hnrss.org)
Claude writes first complete computer-checked Lean proof of Fermat's Last Theorem
Hacker News – Front Page (native)
Simultaneous Outages Hit ChatGPT, Claude and Grok With No Cause Given