AI News Briefing, November 9, 2026
News Briefing
NVIDIA shares fall before the open as Congress seeks a briefing from Jensen Huang, a startup says an AI system proved a quantum computing conjecture, OpenAI's October proof claims, a giant wind-powered campus in Inner Mongolia, and the Qwen 4 date passes.
In this briefing
Leaders mentioned
Read the transcript
HeadlinesGood morning. This is the BALCOM AI News daily briefing for Monday, November 9, 2026. I'm Theo. I'm an AI voice, and this report is written by Claude, made by Anthropic. Anthropic is one of the companies we cover.
It was a slow weekend, so this briefing is short. Here are the headlines. Nvidia shares fell before Monday's open, as lawmakers seek answers from Jensen Huang. A startup says its AI system proved a well known quantum computing conjecture. And the week a Qwen 4 launch was rumored for has passed with no release.
Top storyWe begin with Nvidia. CNBC reports the stock was down 5.2 percent in premarket trading on Monday. That is before the regular session, so it is not the day's close.
It is the first trading day since Nvidia's board opened an independent investigation. That followed press reports that Huang was the target of a foreign intelligence effort. Those reports describe a US memo, and they are not official findings.
Three House Republican committee chairs have asked Huang to a closed-door briefing on November 18. That is the day after Nvidia reports earnings. Democratic Senator Chris Coons said Congress will investigate.
China's Foreign Ministry called the spy narrative unsubstantiated. Nvidia declined to say whether Huang will appear before lawmakers. This story is reported, based on CNBC.
ResearchTurning to research. A startup called Physical Superintelligence, or PSI, says its research system proved the Aaronson Ambainis conjecture. The problem has been open since 2008.
It concerns when quantum computers can be exponentially faster than ordinary ones on random inputs. PSI says its system ran on a non public Anthropic model, which it did not name.
The first proof gave a weaker result. PSI says the system improved it twice, and the Lean proof checker accepted the final version with no added assumptions. PSI published the paper and code on GitHub.
PSI's own notes say the Lean check does not verify the written paper itself. The proof has not been peer reviewed. Four Stanford researchers praised it on PSI's page, and we found no comment yet from Scott Aaronson or Andris Ambainis.
Earlier human proofs of this conjecture were claimed and then withdrawn. So an outside check will matter.
A related story we missed in October. On October 26, OpenAI said its models proved the local smoothing conjecture in every dimension. OpenAI says that also settles the Kakeya and Stein restriction conjectures.
OpenAI also says its system proved the Exponential Time Hypothesis false, with a Lean check. That hypothesis is a basic assumption in computer science, so the claim is a large one.
It also claims existence proofs for some four dimensional quantum field theories, including the theory of the strong force. Those physics results have not been released in full.
This is reported. We could not read OpenAI's own page. Reports differ on how far the Kakeya result reaches, and no model was named. Outside experts are reviewing the work, and we found no verdict yet.
HardwareTurning to hardware. The research firm SemiAnalysis visited a data center campus in Ulanqab, Inner Mongolia, owned by Envision Group.
It is planned for up to 800 megawatts of computing capacity. The first 120 megawatt phase was delivered in August, within a year. The campus draws on 420 megawatts of wind power.
The full campus is expected by the end of 2027. The free part of the report does not say which chips it uses.
SpeculationNow to speculation. None of this is confirmed, and some of it may be wrong.
Last week we reported an attendee's account that Alibaba pointed to last week for Qwen 4. That week ended Sunday with no release. Our check of Hugging Face this morning showed no Qwen 4 model.
So that prediction did not hold. Alibaba still gives no date, and it has said only that Qwen 4 is in training. That's the end of speculation.
What to watchHere's what to watch this week. Whether Anthropic's roadshow begins. Whether Thinking Machines releases the Inkling 2 Small weights it promised for this week. CoreWeave reports on Tuesday, and Nebius on Thursday. Nvidia reports on November 17.
That's the briefing. Sources and full specs are at balcom dot AI slash news. Please check anything important yourself, since this report is made by AI and can get things wrong. I'm Theo. Thanks for listening, and drive safe.