Anthropic ‘formalizes’ Fermat’s Last Theorem like never before using Claude — but it still took 11 days to write outSeptember 13, 2026
Cathay Pacific tests Google AI that dramatically cuts airplane contrails — tiny altitude shifts slash environmental impact by 40% in early trialsmyappsplusSeptember 8, 2026 Following similar projects across US airspace and the North Atlantic ocean, Google is partnering with the Cathay-Pacific airline to test its AI-powered contrail (condensation trail) mitigation technology on flights across the Asia-Pacific region.
