OpenAI Says AI Solved Longstanding Research Problems

OpenAI Claims Three Major Scientific Breakthroughs

OpenAI says its AI models have produced proofs addressing three major problems in mathematics, computer science, and physics.

The claims are significant.

One proof reportedly resolves the Kakeya conjecture across all dimensions, another challenges the long-standing Exponential Time Hypothesis, and a third addresses the mathematical existence of quantum field theories.

OpenAI says some of the results have already been formalized using Lean, a software tool that checks mathematical proofs.

That adds credibility to the work, although researchers still need to examine the assumptions, understand the arguments, and determine what the findings actually establish.

I think the most interesting development is OpenAI's decision to involve independent academic groups, including researchers who originally formulated some of the problems being challenged.

The company is publishing materials for some results while allowing physicists to review their work before releasing the full details.

This could change how researchers evaluate AI-generated discoveries, particularly when the proofs are too complex to assess through ordinary peer review alone.

The unanswered question is how many of these claims will hold up once independent experts finish examining the details.

Anthropic's Revenue Is Surging, but Its Spending Is Bigger

Anthropic generated $16.3 billion in revenue during the first half of 2026, up 14-fold from a year earlier.

That's remarkable growth.

The company disclosed these numbers ahead of its planned IPO, alongside up to $807 billion in infrastructure commitments over the next decade. Its net loss reached $80.7 billion, largely because of a one-time accounting charge, while its operating loss was $693 million.

The spending deserves attention.

Anthropic's Claude tools are clearly attracting business customers, but the company's massive commitments to chips, data centers, and computing power assume that demand will keep expanding for years.

I think the real concern is how much financial flexibility Anthropic will have if growth slows, especially with many infrastructure contracts difficult or impossible to cancel.

The company could seek a $2 trillion valuation and raise more than $100 billion through its IPO, potentially setting a record for a public listing.

Investors will soon have actual financial statements to examine instead of relying on private-market valuations.

Will Anthropic's revenue grow fast enough to support the spending it has already promised?

Microsoft Offers Buyouts to 60,000 Employees

Microsoft is offering voluntary buyouts to roughly 60,000 employees, covering 27% of its workforce.

That's a big group.

The offer covers eligible employees in the U.S., Canada, India, and the U.K., with those accepting expected to leave by December 31. It comes as Microsoft's quarterly capital spending on AI infrastructure is expected to exceed $50 billion.

The timing matters.

Microsoft is spending heavily on data centers while looking for ways to reduce costs elsewhere, and its growing use of AI tools across internal teams makes the workforce decisions especially interesting.

I think the bigger question is how much of this restructuring reflects actual productivity gains from AI versus the financial pressure of building expensive infrastructure.

The voluntary approach gives Microsoft room to reduce headcount without announcing another large round of layoffs, although actual departures will depend on employee participation.

For employees, the decision now comes with an early December deadline.

If Microsoft can operate with fewer people while expanding its AI business, how quickly will other large tech companies follow?

Prohuman team

Free Guides

Explore our free guides and products to get into AI and master it.

All of them are free to access and would stay free for you.

Feeling generous?

You know someone who loves breakthroughs as much as you do.

Share The Prohuman it’s how smart people stay one update ahead.