2026-09-13AI proved a math conjecture I made when I was an undergraduate