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
- Why you shouldn't press the 'replace this universe' button: an alignment debate — jd_pressman · 2026-10-16
- On successionism: current people actually exist, so no universe-swapping button — jd_pressman · 2026-10-16
- Meta scales back AI agent plans as staff clean up after the machines — SumitGup · 2026-10-16
- RFdiffusion3 debuts in Science: generative AI designs proteins and nucleic acids atom by atom — AllThingsApx · 2026-10-16
- Researcher: 'Guru-like' rhetoric fuels claims that AI safety is a cult — jd_pressman · 2026-10-16
- Comparing AI data centers to 1900s power buildout: the anti-DC craze will look silly in a decade — GabGarrett · 2026-10-16