Expert prompting was done by Boris Alexeev btw 😅
GPT-5.5 (the one available right now to everyone) can also disprove the sum-product conjecture: https://chatgpt.com/share/6a187d12-7d58-83e8-87bd-0ee312378028 . I didn't reveal it before because I think it is good to give some space to the community to absorb these new capabilities. In particular the humans involved in the discovery should get all the credit for this amazing breakthrough. We all have some work to do to align on cultural norms in this new world.