All tags
Topic: "parallel-computing"
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
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.
GDM leadership reset
gemini muse-spark-1.2 muse-code claude-code codex google-deepmind alphabet discovery-loop radical-ventures khosla-ventures lightspeed kleiner-perkins doerr-capital meta-ai-fair artificial-analysis automated-discovery machine-learning coding-agents model-harness-co-design benchmarking public-benefit-corporation venture-capital long-context parallel-computing persistent-agents demis-hassabis koray-kavukcuoglu jeff-dean sanjay-ghemawat oriol-vinyals quoc-le nat-friedman nathan-lambert andrew-ng alexandr-wang fink
Google DeepMind undergoes a leadership reshuffle with Demis Hassabis moving to Chair and Chief Scientist roles, while Koray Kavukcuoglu takes operational control focusing on Gemini and product execution. The launch of Discovery Loop by founders including Jeff Dean, Sanjay Ghemawat, Oriol Vinyals, and Quoc Le targets automated machine learning and scientific discovery, backed by major venture firms. Meta AI releases Muse Spark 1.2 and Muse Code (beta), co-trained model and harness for coding agents, achieving strong benchmark scores and emphasizing harness-model co-design, entering the coding-agent competition alongside systems like Claude Code and Codex. The market views these moves as pivotal for AI-for-science and coding agent development.
not much happened today
minimax-m2.1 glm-4.7 gemini-3-pro claude-3-sonnet vl-jepa minimax-ai vllm-project exolabs mlx apple openai open-source mixture-of-experts local-inference quantization inference-quality multimodality non-autoregressive-models video-processing reinforcement-learning self-play agentic-rl parallel-computing model-deployment ylecun awnihannun alexocheema edwardsun0909 johannes_hage
MiniMax M2.1 launches as an open-source agent and coding Mixture-of-Experts (MoE) model with ~10B active / ~230B total parameters, claiming to outperform Gemini 3 Pro and Claude Sonnet 4.5, and supports local inference including on Apple Silicon M3 Ultra with quantization. GLM 4.7 demonstrates local scaling on Mac Studios with 2× 512GB M3 Ultra hardware, highlighting system-level challenges like bandwidth and parallelism. The concept of inference quality is emphasized as a key factor affecting output variance across deployments. Yann LeCun's VL-JEPA proposes a non-generative, non-autoregressive multimodal model operating in latent space for efficient real-time video processing with fewer parameters and decoding operations. Advances in agentic reinforcement learning for coding include self-play methods where agents inject and fix bugs autonomously, enabling self-improvement without human labeling, and large-scale RL infrastructure involving massive parallel code generation and execution sandboxes.