ChatGPT Helps Disprove 30-Year-Old Stable Forking Conjecture

Mathematicians James Freitag and Scott Mutchnik used ChatGPT to find a counterexample disproving the stable forking conjecture, a major open problem in model theory open since 1996.

2026-09-03 ~ 2026-09-03 · 3 related posts

• ChatGPT helps produce counterexample to 30-year-old stable forking conjecture — burny_tech · 2026-09-03
• ChatGPT helps resolve 30-year-old stable forking conjecture in logic — Dr_Singularity · 2026-09-03

1 near-duplicate retellings: Dr_Singularity