"SOP2=SOP3", https://t.co/rqXWjPUBMg
This surprisingly short argument answers an old question of Džamonja and Shelah from 2004, and seems to be the first significant AI-assisted advance in mathematical logic.
It is also a result we were lucky not to have found back in the day.
In July, I asked a couple model theorist friends of mine what they considered the major open problems of logic. They both mentioned the stable forking conjecture. This has now been resolved using ChatGPT.
https://t.co/ESmt68K6yB