Episode Details
Back to EpisodesAI Daily for 09 October: Invisible Cities Visualization, OpenAI Revenue Gap, OpenAI Math Withdrawals, Math Results Update
Description
AI Daily for 09 October recaps 5 major AI Hacker News stories, moving through invisible cities visualization, openai revenue gap, openai math withdrawals, math results update.
Chapters
- 00:00:00 — Intro
- 00:00:17 — Invisible Cities Visualization
- 00:01:30 — OpenAI Revenue Gap
- 00:02:30 — OpenAI Math Withdrawals
- 00:03:39 — Math Results Update
- 00:04:48 — AI Planet Search
- 00:05:59 — Closing
1. Invisible Cities Visualization
The next story is a Quesma experiment in which Claude Opus 5.5 was given one prompt and six hours to build a Three.js visualization of all 55 cities in Italo Calvino’s Invisible Cities, and the author argues that this shows how AI models are becoming powerful tools for interactive design. Hacker News comments mixed admiration with criticism of impossible geometry, poor performance, and the risk of replacing the book’s ambiguity with a fixed visual interpretation.
2. OpenAI Revenue Gap
The next story is about OpenAI telling investors it had roughly $50 billion in annualized revenue at the end of September, below the widely reported $68 billion figure, a discrepancy that sent AI stocks lower and put scrutiny on the sector’s financial claims. Hacker News debated different revenue definitions, including partner sales, and questioned how much confidence the public should place in the AI industry’s business claims and valuations.
3. OpenAI Math Withdrawals
The next story is about OpenAI withdrawing three mathematical manuscripts after a sign error invalidated a stabilization-trace cancellation argument and affected two dependent papers, while its repository says 300 of 719 top-line results are now formalized, or about 42 percent. The Hacker News reaction focused on whether formal verification makes ambitious mathematical work trustworthy and what the withdrawals say about checking before publication.
4. Math Results Update
The next story reports that OpenAI withdrew three mathematical results while updating its math repository, and OpenAI scientist Dan Roberts says about 42 percent of its top-line results are now formalized in Lean, a development that tests whether AI-generated mathematics can be trusted at scale. Hacker News debated whether Lean checking establishes correctness, whether a formalization can encode the wrong problem, and whether OpenAI released unverified work too quickly.
5. AI Planet Search
The next story is about a Reddit post whose author says Claude Code helped identify a previously unknown planet candidate in astronomical data, a claim that could be tested when TESS observes the star again in November under an approved observing program. Hacker News reactions mixed enthusiasm for AI-assisted astronomy with demands for scientific validation, skepticism about false positives, and criticism of the post’s AI-like prose.
That's the briefing.