AI 服務暫時不可用，以下為來源正文，待恢復後補全翻譯。
Today was a tough news cycle to launch anything; we ordinarily promise to cover any new decacorn fundraises so Cognition’s $48B round and Mistral’s $24B round would normally have made it; we love imagegen so GPT Image 2.5 would have been its own headline; we covered the Dreamer story closely so their relaunch as Meta’s Muse agent should have made it; but.. yknow… the bar is higher these days. The summaries below capture the substantive facts; we recommend not looking too deep into the authorship drama as OpenAI and the authors have pretty much laid out enough detail to conclude that OpenAI’s achievement is real though the process is in some despute. AI News for 9/7/2026-9/8/2026. We checked 12 subreddits, 544 Twitters and no further Discords. AINews’ website lets you search all past issues. As a reminder, AINews is now a section of Latent Space. You can opt in/out of email frequencies! AI Twitter Recap OpenAI-affiliated accounts said an AI-assisted effort produced a Navier–Stokes result, and the reaction immediately split between technical interest, skepticism, and meta-drama. The most concrete public claim in the tweet set came from Ethan Knight, who said “The Navier Stokes solution was the result of a collaboration of ~10,000 agents working together,” adding that OpenAI had spent “the past year” training models to collaborate via “multiagent RL,” and that hard problems may yield to “huge amounts of unstructured parallel test-time compute” with models deciding how to organize themselves @eknight. Multiple onlookers interpreted this as OpenAI claiming an AI-generated proof related to the Navier–Stokes Millennium Problem, specifically around finite-time singularity / blow-up; one satirical paraphrase framed it as OpenAI saying a smooth fluid can “blow up into a singularity,” claiming “10,000 agents” and “88 hours” were used, while explicitly noting that mathematical acceptance remained a “minor formality” @LearnOpenCV. Broader commentary treated the event as a possible stress test for the belief that frontier AI cannot do serious research or coding-level technical work; Theo Jensen called it the science world’s “‘AI can’t ACTUALLY code’ crash out moment” @theo. Hrishikesh / hrishioa framed the announcement as evidence of a “high compute regime,” arguing observers should “adjust your plans accordingly” @hrishioa. The announcement also triggered incidental operational speculation: one poster jokingly linked seeing ChatGPT latency warnings to OpenAI potentially redirecting large-scale compute toward the Navier–Stokes run, though this was pure conjecture and not evidence @teortaxesTex. Disclosures and context up front What is factual from the tweets An OpenAI-linked claim circulated that a Navier–Stokes “solution” involved about 10,000 agents working collaboratively @eknight. The same source said these systems were trained over roughly a year using multi-agent reinforcement learning @eknight. The stated high-level method emphasized parallel test-time compute and model self-organization rather than a single long-chain proof attempt @eknight. Public readers understood the claim as concerning the Navier–Stokes existence/singularity problem, one of the Millennium Prize Problems, though the exact theorem statement and proof scope are not supplied in the tweet set @LearnOpenCV. Acceptance by the math community was clearly unresolved at the time of discussion; even the joke-post emphasized that correctness remained unverified by the field @LearnOpenCV. What is not established by the tweets No theorem statement, preprint, proof sketch, formal verification artifact, benchmark report, or independent referee commentary appears in the provided tweets. The frequently repeated “88 hours” detail appears only in a satirical post in this set, not in the more direct OpenAI-adjacent statement, so it should not be treated as confirmed from this evidence alone @LearnOpenCV. The exact role of humans versus models is unspecified: “collaboration of ~10,000 agents” does not tell us whether humans decomposed the search, curated lemmas, verified steps, or merely launched infrastructure @eknight. “Solution” is ambiguous. In mathematics it could mean a complete proof, a proof strategy, a candidate counterexample, a formalized derivation, or a research lead. The tweets do not disambiguate this. There is no disclosed information here on whether the result addresses the standard 3D incompressible Navier–Stokes global regularity problem on (\mathbb{R}^3) or torus, or some variant/auxiliary statement. Why the ambiguity matters The Navier–Stokes Millennium Problem has a very specific standard framing. Claims that a finite-time singularity “can occur” would be explosive because they imply a negative answer to global regularity in the relevant formulation; such claims require extraordinary precision and scrutiny. In frontier-model discourse, “AI solved X” often compresses multiple layers: conjecture generation, search, proof drafting, proof checking, and community validation. The tweets give only a systems-level description, not the epistemic status of the math. Technical details exposed by the tweets The disclosed technical picture is less about fluid mechanics than about a research system architecture. Scale: approximately 10,000 agents operating together @eknight. Training approach: multi-agent RL over the course of ~1 year @eknight. Inference philosophy: large amounts of unstructured parallel test-time compute, with agents autonomously deciding how to divide work and collaborate @eknight. Implied research thesis: for difficult reasoning tasks, scaling coordination + search at inference time may be as important as, or more important than, simply scaling a monolithic model. Sociotechnical implication: this is a concrete articulation of a trend many labs have hinted at—shifting from “bigger single model” narratives toward agentic ensembles, parallel search, and test-time compute scaling. Operational implication: if true, the result is evidence that labs are willing to spend substantial inference compute on one-shot scientific targets, not just products or benchmarks. What this suggests technically A 10,000-agent setup implies substantial infrastructure for: task decomposition, inter-agent communication, memory/state persistence, search-tree management, reward design or proxy scoring, aggregation / selection of candidate proof paths. The phrase “let them decide how to work together” suggests a partially emergent coordination policy rather than entirely hand-scripted orchestration @eknight. If the work genuinely touched a hard math problem, the key novelty may be less “LLM writes a proof” and more distributed theorem search with learned collaboration policies. What is missing technically No mention of: theorem prover integration, formal verification, proof assistant stack, symbolic algebra systems, fluid simulation components, retrieval corpora, model size, compute budget, pass@k style metrics, ablations against single-agent baselines, error rates or proof-check success rates. That absence is central: the public conversation ran ahead of the disclosed technical substrate. Facts vs. opinions Facts/claims presented as facts About 10,000 agents were involved @eknight. OpenAI had been training collaborative agents via multiagent RL for about a year @eknight. The system used extensive parallel test-time compute @eknight. The result was publicly discussed as a Navier–Stokes solution/proof claim @LearnOpenCV. Opinions / interpretations “One of the most effective ways to solve hard problems” is to use huge unstructured parallel test-time compute and self-organizing agents — this is a strong strategic interpretation, not yet demonstrated generally by the evidence in the tweet alone @eknight. “Science world is having their ‘AI can’t ACTUALLY code’ crash out moment” is commentary about community psychology, not a verifiable assessment @theo. “We truly are in a high compute regime” is a macro framing of industry direction @hrishioa. The “88 hours,” “leadership lesson,” and “delegate 10,000 AI agents” framing is satire and should not be read as documentary detail @LearnOpenCV. The claim that ChatGPT slowdowns were caused by this experiment is speculation without supporting evidence @teortaxesTex. Different perspectives Supportive / bullish perspectives The strongest supportive perspective is that this is evidence for a new scaling law: not just model size and training compute, but massively parallel, self-organizing inference-time collaboration can unlock qualitatively new capabilities on frontier research problems @eknight. Theo’s reaction captures another bullish reading: if AI can materially contribute to a top-tier mathematical problem, then dismissals of AI’s ability to do serious technical work become harder to sustain @theo. Hrishioa’s “high compute regime” framing suggests strategic consequences for labs and startups: those who underweight inference-time compute orchestration may be planning against the wrong frontier @hrishioa. Skeptical / cautionary perspectives The implicit skeptical position is mathematical: until a theorem statement, full proof, and expert vetting exist, calling this a “solution” is premature. The joke-post itself acknowledges this by stressing that field-wide acceptance remains pending @LearnOpenCV. Another skepticism target is narrative compression: “10,000 agents solved Navier–Stokes” can obscure how much was due to human framing, filtering, or verification. The tweets do not disclose authorship proportions. There is also a reproducibility concern: without artifacts, independent researchers cannot judge whether the breakthrough was robust, cherry-picked, or a one-off. Neutral / analytic perspectives A neutral reading is that this is notable even if the proof fails. If a system can generate mathematically nontrivial candidate pathways on a problem of this stature, that alone is a meaningful capability milestone. Another neutral view is to separate scientific truth from systems innovation. Even if the theorem claim does not hold, the multi-agent RL + parallel test-time compute architecture may still represent an important advance in AI research methodology. The conversation also reveals a shift in what people now count as “capability.” The debate is moving from benchmark scores to real-world cognitive labor decomposition at scale. Why this matters in context This sits at the intersection of three ongoing shifts in frontier AI. From static models to agent systems: The central disclosed ingredient is not a single chatbot-like model but a large collaborative population of agents @eknight. From training-time scaling to inference-time scaling: The emphasis on “unstructured parallel test-time compute” directly aligns with a broader industry pivot toward spending compute at solve time, not just pretraining time @eknight. From benchmark theater to domain claims: Navier–Stokes is socially legible in a way benchmark deltas are not. A claim touching a Millennium Problem instantly broadens the audience and raises epistemic stakes. Why Navier–Stokes specifically is symbolic The Millennium Problems function as cultural shorthand for the hardest kinds of formal intellectual work. Progress here would suggest AI systems are not just speeding up known workflows but entering domains where correctness is brittle and prestige filters are extremely strict. That said, mathematics is unusually unforgiving: unlike many product tasks, there is no room for “mostly right.” This is why external validation dominates the discourse. Implications if the claim is substantiated Strong evidence for distributed theorem search as a serious research paradigm. New pressure on formal methods tooling to absorb model-generated proof candidates. A likely acceleration in AI-for-math investment, especially around [truncated for AI cost control]