AI Updates on 2025-10-12

GPT-5 Pro demonstrates superhuman literature search capabilities by solving Erdős Problem #339, which was listed as open but had actually been solved 20 years ago @SebastienBubeck
xAI updates Grok app with new "TRON mode" featuring character Ani @xai

NVIDIA has invested in over 80 AI startups over the last two years, leveraging its ballooning fortunes from the AI boom @TechCrunch
Every oncall and paging tool now brands itself as an "AI platform" or "AI-first operations platform", showing widespread AI marketing adoption across enterprise tools @GergelyOrosz
Gemini leads GenAI tools with over 3x the month-over-month growth rate of runner-up Perplexity, while Grok shows negative growth and DeepSeek sees first positive growth since February @Similarweb
Enterprise AI adoption faces significant rate-limiting factors including human and organizational ability to absorb change, regulations, and enterprise budgets, beyond just infrastructure and algorithmic breakthroughs @sriramk

Emerging "deep AI use" cases where experts have automated complex, valuable tasks in their domains, though diffusion of specific use cases will be slower than general AI adoption @emollick
Claude Code can be prompted to "use sub-agents" to fire up multiple parallel sub-agents for complex tasks, each with fresh context @simonw
Current AI feels capable enough for most tasks lasting up to a few minutes, with failures often due to insufficient background context rather than capability limitations @gdb
Sam Altman predicts Codex will dramatically transform software creation, making it difficult to imagine what software development will look like by the end of 2026 @sama

LLMs now dominate hard STEM contests including the International Math Olympiad, International Olympiad on Astronomy & Astrophysics, and International Informatics Olympiad, despite being poor at math just a year ago @emollick
Industry analysis suggests OpenAI has the best post-training/reinforcement learning capabilities applied to weaker pretraining, while Gemini has spectacular pretraining that made creating reasoning models surprisingly easy @natolambert
Top 5 most impactful open AI models ranked: DeepSeek R1 (ignited Chinese open model ecosystem), LLaMA (enabled post-ChatGPT RLHF research), Mistral 7B (created community interest in finetuning), LLaMA 3.1 (closest open models to frontier), and Qwen 3 (summarizes Qwen's current R&D dominance) @natolambert