[2/9 18:00] Mathematicians Challenge AI with "First Proof" Exam / Autodesk Sues Google Over AI Movie-Making Software

AI News Flash for February 09, 2026 at 18:00 UTC. Topics: 1. Mathematicians Challenge AI with "First Proof" Exam https://www.scientificamerican.com/article/mathematicians-launch-first-proof-a-first-of-its-kind-math-exam-for-ai/ 2. Autodesk Sues Google Over AI Movie-Making Software https://www.reuters.com/legal/litigation/google-sued-by-autodesk-over-ai-powered-movie-making-software-2026-02-09/ 3. Meta Reveals Prometheus Gigawatt-Scale AI Cluster Architecture https://engineering.fb.com/2026/02/09/data-center-engineering/building-prometheus-how-backend-aggregation-enables-gigawatt-scale-ai-clusters/ 4. Gather AI Raises $40M for Warehouse Drone Platform https://technical.ly/entrepreneurship/gather-ai-series-b-raise/