Researcher credits GPT for multiple accepted papers, incl. disproving Wegner's 1965 conjecture

ctjlewis · x · 2026-10-16

Researcher publishiperishi lists recent paper acceptances co-created with various GPT versions: a SODA 2027 paper disproving Wegner's 60-year-old conjecture with an explicit 64-rectangle counterexample (ν=16, τ≥32, LP integrality gap ≥ 5/2−ε, arXiv:2606.17854), two ALENEX 2027 papers on compact SAT encodings and PatternBoost for geometry, an ISAAC 2026 extremal-conjecture disproof, and more — arguing anyone can now run their own "little research factory."

Original post →

More from AGI Musings

AGI Musings channel →