https://topaiproduct.com/2026/09/05/anthropics-claude-formalized-fermats-last-theorem-13-million-lines-of-lean-code-in-11-days/Top AI Producten2026-09-05T10:07:23+00:00Anthropic’s Claude Formalized Fermat’s Last Theorem: 13 Million Lines of Lean Code in 11 Dayshttps://topaiproduct.com/2026/09/05/collusion-wiki-18000-openai-agent-posts-found-on-a-25-year-old-german-wiki/Top AI Producten2026-09-05T10:04:59+00:00Collusion.wiki: 18,000 OpenAI agent posts found on a 25-year-old German wikihttps://topaiproduct.com/2026/09/04/google-deepmind-weathernext-3-swaps-the-weather-engine-for-billions-of-users-overnight/Top AI Producten2026-09-04T10:08:37+00:00Google DeepMind WeatherNext 3 Swaps the Weather Engine for Billions of Users Overnighthttps://topaiproduct.com/2026/09/04/omarchy-quattro-dhh-rebuilds-his-linux-distro-around-ai-agents-with-10m-from-tobi-lutke-and-patrick-collison/Top AI Producten2026-09-04T10:05:53+00:00Omarchy Quattro: DHH rebuilds his Linux distro around AI agents, with $10M from Tobi Lütke and Patrick Collisonhttps://topaiproduct.com/2026/09/03/hermes-agent-hits-240k-github-stars-nous-research-built-an-agent-that-actually-learns/Top AI Producten2026-09-04T04:09:00+00:00Hermes Agent hits 240K GitHub stars — Nous Research built an agent that actually learnshttps://topaiproduct.com/2026/09/03/k2-horizon-mbzuai-institute-of-foundation-models-opens-everything-llama-and-qwen-wont-weights-data-and-code/Top AI Producten2026-09-04T04:06:23+00:00K2 Horizon (MBZUAI Institute of Foundation Models) opens everything Llama and Qwen won’t: weights, data, and codehttps://topaiproduct.com/2026/09/03/gpt-6-astra-scores-99-9-on-arc-agi-3-the-anti-memorization-benchmark-just-got-saturated/Top AI Producten2026-09-03T22:07:22+00:00GPT-6 Astra scores 99.9% on ARC-AGI-3 — the anti-memorization benchmark just got saturatedhttps://topaiproduct.com/2026/09/03/openai-gpt-6-astra-is-the-first-model-rated-critical-for-cyber-risk-and-it-shipped-anyway/Top AI Producten2026-09-03T22:04:51+00:00OpenAI GPT-6 Astra is the first model rated “critical” for cyber risk — and it shipped anywayhttps://topaiproduct.com/2026/09/03/what-took-down-chatgpt-claude-and-grok-at-the-exact-same-time/Top AI Producten2026-09-03T16:08:07+00:00What took down ChatGPT, Claude, and Grok at the exact same time?https://topaiproduct.com/2026/09/03/anthropic-open-sources-claude-commerce-agents-and-shopifys-president-is-doing-the-marketing/Top AI Producten2026-09-03T16:05:40+00:00Anthropic open-sources Claude Commerce Agents — and Shopify’s president is doing the marketing