OpenAI's math progress suggests AI math startups are 'cooked'
littmath · x · 2026-08-27
Commenting on Boris Alexeev formalizing the existence of a complex structure on S^6 at OpenAI, a user noted this likely benefits from internal models and suggests what will be possible publicly soon. It also implies that AI math startups like Harmonic and Axiom are in trouble as big labs 'box out' funded competition.
Related event: OpenAI researcher formalizes proof of complex structure on S^6 using AI(4 posts)→
More from Companies & People
- dotJS preview: WebAI that ships — small ML models running fully in the browser — nicodotdev · 2026-08-28
- How a PhD student built Wayve into an £8bn company and proved Elon wrong — TimesandSundayTimes · 2026-08-28
- Enterprise procurement, not demos, is the real barrier for AI sales — SucceededMind · 2026-08-28
- Missing OpenAI or Anthropic is a career-ending move for VCs — beffjezos · 2026-08-28
- Building agents is easy now; safely operating 50 at once is the real bottleneck — Many_Audience7660 · 2026-08-28
- X's link UI update changes the game: how the split view affects engagement — gefei55 · 2026-08-28