Is OpenAI's reported revenue really down $20 billion?

Not according to CNBC, which reported that the larger figure included partner sales. TechCrunch wrote that the ~$70 billion number was built by investors to compare OpenAI with Anthropic, which was reported at $65 billion in July including cloud sales.

Is tsc-rs the fastest TypeScript checker?

No. In the same author-measured test, Bun's bun check ran at 2.95× tsc 7, above tsc-rs at 1.89×. But tsc-rs matched tsc 7 output on all 60 repositories, while bun check matched on 37.

Large Language ModelsAI Business & IndustryZenn AI/ML12m agoOct 22, 2026, 13:00 JST

OpenAI math and $50B revenue: verify the yardstick first

Send on LINE

3 Key Points

What happened
OpenAI published 719 write-ups of math results, but its changelog says only 300 / 719 (about 42%) were verified in Lean, and 3 were withdrawn after a sign error.
Why it matters
The verified share, not the raw count, is what tells a reader whether hundreds of unsolved problems were actually solved — the author says ask for it.

Not sure about something? Ask the AI

Questions and answers are published on this page.

Summaries like this, in your inbox every morning.

Get news like this every morning, free

FAQ

Is OpenAI's reported revenue really down $20 billion?: Not according to CNBC, which reported that the larger figure included partner sales. TechCrunch wrote that the ~$70 billion number was built by investors to compare OpenAI with Anthropic, which was reported at $65 billion in July including cloud sales.
Is tsc-rs the fastest TypeScript checker?: No. In the same author-measured test, Bun's bun check ran at 2.95× tsc 7, above tsc-rs at 1.89×. But tsc-rs matched tsc 7 output on all 60 repositories, while bun check matched on 37.

Zenn AI/MLRead Original Article

Send on LINE

AI news that matters for your work, delivered every morning.

Pick your industry and the AI tools you use, and get news related to your work every day.

Get it free

Free · 30 seconds with Google · unsubscribe anytimeWhat is AIToday? →

Ask AI

Ask AI anything about this article. The AI reads this article, earlier AIToday articles, and Wikipedia, and cites its sources. Q&As are published on this page for other readers too.