gpt-6-astra openai meta-ai-fair test-time-compute formal-verification parallel-computing scientific-governance personal-ai-agent linux-vm service-integration data-contamination open-science-norms sama sebastienbubeck terence_tao sam_altman
OpenAI announced a proposed Navier–Stokes proof by an internal model "significantly more capable than GPT-6 Astra" using 10,000 agents over 88 hours plus 17 hours of formal verification. The effort highlights the emergence of massive test-time compute scaling as a new axis beyond pretraining, with estimated costs of $10M–$40M and 130B output tokens. Controversy arose over priority, data contamination, and scientific norms, with key figures like Sam Altman, Sébastien Bubeck, and Terence Tao weighing in on governance and open science risks. Meanwhile, Meta launched Muse, a consumer personal AI agent featuring persistent isolated Linux VMs, browser integration, and connectors to various apps including Meta-native services like Instagram and Messenger, emphasizing security and broad service integration.