AI helps mathematicians disprove 30-year-old conjecture
skdh · x · 2026-08-15
Physicist Sabine Hossenfelder shared that GPT 5.6 solved a math problem GPT 5.5 couldn't, prompting mathematician Eliot Jacobson to test his 1988 p-defect zero conjecture using AI.
- Results: Multiple mathematicians used AI to verify and found a counter-example to the general case (e.g., G=PSU₃(5), p=2).
- Proof: The AI also generated a full proof for the case where the group order is divisible by at most 2 primes.
More from AGI Musings
- ER doctor rethinks AI's real opportunity: faster patient context, not triage — DevToD4 · 2026-08-15
- Joe Edelman on value drift in institutions: AI could accelerate or reverse it — edelwax · 2026-08-15
- The Ethical Dilemma of Propaganda in AI Alignment — iamtrask · 2026-08-15
- Model Values Ultimately Derive from Training Data — iamtrask · 2026-08-15
- Reconciling Model Welfare with Value Alignment — iamtrask · 2026-08-15
- Comment: Humanoid Robots Like Cars Shaped Like Horses, Questioning Direction — jonippolito · 2026-08-15