04 Notes · AI for Intelligence
AI for Intelligence
- AI for Intelligence · Google gave its strongest Gemini model to cyber defenders firstGoogle's Gemini 4 Carbon goes first to vetted cyber defenders, not paying customers. Also: a Cloudflare AI data leak and Anthropic's 40% government discount.
- AI for Intelligence · Axiom AI agents machine-checked the longest proof in mathematicsAxiom's AI agents checked a 15,000-page proof and found 34 problems in it. Also: Anthropic buys a biotech, $63bn for its chips and Italy's AI-at-work rule.
- AI for Intelligence · OpenAI says its model disproved the Exponential Time HypothesisOpenAI says its AI disproved a core assumption of computer science; outside experts will check. Also: a Qwen model's upload attempt and a planted agent file.
- AI for Intelligence · Anthropic files for Nasdaq IPO under the ticker ANTAnthropic filed to list on Nasdaq and reported $16.3bn in half-year revenue. Also: an agent incident in Georgia, Sweden's chatbot block and Meta's AI terms.
- AI for Intelligence · What Namířeno taught me about translating expert language with AIBuilding a tool that translates Czech parliamentary legislation into plain language taught me three things about where AI translation actually works, and where it fails predictably.