OpenAI and Anthropic say internal models separately found subexponential-time algorithms for 3-SAT. If correct, that would refute the Exponential Time Hypothesis and its stronger form, SETH (Two Minute Papers). Both labs released Lean formalizations, and Kintali and O'Donnell have since written simpler human proofs. The practical effect is nil. One analysis puts the crossover with brute force beyond 10^10,000 variables, standard cryptography is reportedly unaffected, and P vs NP is still open. Expert review, led by ETH's originators, is not finished. The open question now is whether the formal statements match what the papers say. OpenAI's Lean statement is reportedly weaker than its paper's bound.
Read the full assessmentHide the full assessment3 min
A smaller project follows the same pattern of exact, checkable output. Nesformer compiles a 6502 CPU into weights with Qwen3.5-4B's architecture and runs Super Mario Bros. (Simon Willison). No weights were trained. Gated DeltaNet state serves as RAM, and outputs match the nestest and py65 reference traces. Drew Breunig says Claude Opus 5.5 built it from two prompts, using a 15-year-old CPU conformance suite.
Well-specified test environments come up elsewhere too. Microsoft generates synthetic pharma, capital-markets and IT tenants from O*NET data, job postings and SEC filings to evaluate Copilot (Microsoft Research), but it publishes no Copilot scores. Hugging Face brings together Hugging Face, five universities, the Astera Institute and ORCA. Members commit to AI-ready releases of publicly funded research, starting with a climate-forecasting challenge for 210 US cities.
The money behind the models
CNBC · Technology under the ticker ANT shows $16.29 billion in first-half revenue and gross margin rising from 12% to 85%. The $80.7 billion net loss comes mostly from a roughly $72 billion revaluation of convertible notes. Quarter-on-quarter growth slowed from about 144% in Q2 to roughly 45–47% in Q3. The Q3 numbers come from unaudited investor presentations, so read them as provisional. Seven co-founders would hold 50.1% of the vote with no sunset clause. Analysts put compute commitments at $417–637 billion.
That leverage shows up in the debt. Blackstone holds the second lien on a $63 billion Broadcom chip financing and now expects a double-B rating after the IPO (TechCrunch AI). Earlier this year it told investors investment grade was within reach. Broadcom guarantees the senior lenders. Meanwhile, Financial Times · AI to about $20 billion at a $1.25 trillion valuation, down from $30 billion at $1.4 trillion. Sources point to resistance on price, fatigue after earlier rounds, and investors waiting to see how Anthropic's listing is priced.
Capital, memory and orbit
Broadcom's Hock Tan and Intel's Lip-Bu Tan say WSJ · Technology. The 10-year Treasury yield hit 5.04% in September. All four high-yield AI bond deals since July priced below face value, and Oracle issued a force majeure notice on Project Jupiter. Money is still flowing to borrowers with signed leases. Verge · AI, saying personal machines use memory about 5% of the time. Critics point to OpenAI's own Stargate demand on memory and to the offline and privacy benefits of local inference. SK Hynix expects shortages to last until 2030. On the deployment side, NVIDIA Generative AI pins and checks a GPU stack with AICR recipes, though Dynamo 1.5.0 has already changed its default endpoint picker. And TechCrunch AI ran Gemma 4 on a Trillium TPU in orbit and sent back a haiku. Power limits let it run one TPU at a time, and the cost model depends on cheap Starship launches.
Agents at work
OpenAI's Joseph Kim reportedly says about 95% of Latent Space is replicable engineering. In his view, the edge lies in licensed data, integrations and reliable connectors, and some large-provider connectors failed more than 40% of the time. A creator's r/AISEOInsider combines Higgsfield video with Three.js, but a person still reviewed all 34 clips. A r/AISEOInsider highlights documented background computer use. The official docs warn that its unrestricted mode offers no protection against prompt injection. Psychologist Carly Dober's Guardian · AI urges deliberate friction. It draws on a 54-person MIT preprint and a survey that found workers' effort shifting toward checking AI output.
Security, safety and data rights
A Ars Technica · AI reached machines through auto-update over about 11 hours and tried to plant an SSH backdoor. Interconnects recorded 50 successful V8 attacks out of 410, against Claude Mythos Preview's 56. Anthropic estimates its refusals can be removed for about $4,400 in compute. Nathan Lambert argues that cyber risk comes from capability and diffusion, not from releasing weights. OpenAI News that show fixation on harming others, and teens get tighter limits on weapons information. An October audit found age detection unreliable. Guardian · AI turn magnetometer noise into images, which raises concerns about grieving users. Finally, a Verge · AI, __usage_ai-training, gives publishers one opt-out for training. A blanket User-Agent: * group does not trigger it, and compliance is voluntary.
