Polylog

Saturday, October 10, 2026

Tech

OpenAI's unreleased model claims 372 math result families, and specialists say most remain unverified

Lean formalizations cover the main result of only 162 of the 722 manuscripts, and a group of mathematicians, in a statement Fields medalist Terence Tao posted to his blog, has urged colleagues to stop working with OpenAI.

1 source
Corroborated

Tech

Fired OpenAI safety researchers deny leaking reports on Astra's less monitorable reasoning

OpenAI says Jasmine Wang, Tomek Korbak and Mikita Balesni showed a "pattern of misconduct" in handling research information, and the three say their work on monitorability required talking to outside groups.

1 source
Plausible

Tech

Anthropic prices Claude Haiku 5.5 at one-tenth of Haiku 4.5 and lifts its OSWorld score to 72.4%

Input costs $0.10 per million tokens for prompts up to 100,000 tokens, every rate is five times higher above that, and the model accepts a one-million-token context with adjustable effort.

4 sources

Tech

Microsoft's Decision-1 scores fixed answer options in one pass and charges nothing for output tokens

The model is Alibaba's open-weight Qwen3.5-9B with Microsoft post-training, priced at $0.042 per million input tokens, and Microsoft says it reaches decisions 35 times faster than GPT-6 Sol.

1 source

Markets

SpaceX seeks $40 billion in debt for Nvidia chips as Firmus pulls its $5 billion Australian listing

President Trump's August disclosure shows his accounts bought $1 million to $5 million of SpaceX bonds two days before he signed a commercial-space policy memorandum.

1 source
Corroborated

Geopolitics

OpenAI says Russian and Iranian networks used ChatGPT to run fake journalists and a Latin American think tank

OpenAI gave Russia's "Dark Clark" operation a severity rating of 5 on its 6-point scale, the first time its reports have used that category, and said Iran's "Bogus Bylines" placed nearly 100 articles.

1 source
Plausible

What to watch

Executive summary

Unlock the full AI Intelligence Brief

Track frontier labs, chips, export controls, model releases, regulation, and AI infrastructure.

  • 5 AI intelligence signals a day
  • Frontier labs, compute, and chips
  • Model releases and AI infrastructure
  • Source-grounded analysis with confidence labels

The Global Intelligence Brief stays free.

Tracked Trends →