Person: "terence_tao"

Sep 08
OpenAI reports Navier-Stokes singularity find, a contender for second ever Millenium Prize awarded, overshadowing Cognition's $48B Series E, Mistral's $24B Series D, Meta's Muse agent, and GPT Image 2.5
Show details
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.
Jul 21, 2025
OAI and GDM announce IMO Gold-level results with natural language reasoning, no specialized training or tools, under human time limits
Show details
gemini-1.5-pro o1 openai google-deepmind reinforcement-learning reasoning model-scaling fine-tuning model-training benchmarking natural-language-processing terence_tao oriol_vinyals alexander_wei jerry_tworek paul_christiano eliezer_yudkowsky
OpenAI and Google DeepMind achieved a major milestone by solving 5 out of 6 problems at the International Mathematical Olympiad (IMO) 2025 within the human time limit of 4.5 hours, earning the IMO Gold medal. This breakthrough was accomplished using general-purpose reinforcement learning and pure in-weights reasoning without specialized tools or internet access, surpassing previous systems like AlphaProof and AlphaGeometry2. The success resolved a 3-year-old AI bet on AI's capability to solve IMO problems and sparked discussions among mathematicians including Terence Tao. Despite this, 26 human competitors remain better than AI on the hardest combinatorics problem (P6). The achievement highlights advances in reinforcement-learning, reasoning, and model-scaling in AI research.