Anthropic Mathematician Claims Claude Helped Prove S^6 Has a Complex Structure
TL;DR: Posts relayed by @Singularitarian, @soumitrashukla9, @scaling01 and others report that an Anthropic mathematician, working with Claude, claims to have proven that the six-dimensional sphere (S^6) admits a complex structure—a Hopf problem open since 1947/1948. The original poster's initial check found no errors and the breakthrough reportedly took about 3 days, but details await peer review.
Confirmed
- Multiple relays agree on the core event: Claude contributed to a positive resolution of whether S^6 has a complex structure.
- @soumitrashukla9 and @scaling01 note the problem has been open since 1947 and that Atiyah gave a flawed proof in 2016.
- @scaling01 and @eldonredwards credit mathematician Alpoge with sharing the result; Ethan Mollick reshared it with amazement.
- @Singularitarian relays that no errors were found in a preliminary check and the result may have taken only 3 days.
Unconfirmed
- Final correctness of the proof: only a preliminary check has been done; relays stress details need verification.
- The exact model version involved: relays variously mention Claude 3 and "Claude" generically.
Why it matters
- If correct, this resolves a nearly 80-year-old problem notorious for attracting failed proofs by experts, so rigorous review is essential.
- It is seen as a milestone for LLM-assisted research in highly abstract mathematics, with Claude credited with helping discover a long-sought geometric object.
2026-08-24 ~ 2026-08-24 · 6 related posts
- Episode 1: Anthropic Mathematician Claims Claude Helped Prove S^6 Has a Complex Structure(2026-08-24, 6 posts)
- Episode 2: Debate Over AI Proving Complex S^6(2026-08-24, 2 posts)
Primary sources
- [source] Claude model helps discover complex structure on S^6, solving 60-year-old math problem — Singularitarian · 2026-08-24
- [source] Anthropic Mathematician Claims Claude Solved Open Math Problem from 1948 — GregCook2011 · 2026-08-24
- [source] Claude 3 Solves Complex Math Problem: S^6 Complex Structure — scaling01 · 2026-08-24
- AI Helps Settle Hopf Conjecture: 6-Sphere Admits Complex Structure — soumitrashukla9 · 2026-08-24
- Claude Helps Solve Math Problem Unsolved for 80 Years — haider1 · 2026-08-24
- Mathematician Credits Claude for Helping Discover New Geometric Object — eldonredwards · 2026-08-24