GPT-5.6 Sol Pro appears to have proved the unrestricted exact-real-constant BSS version of Smale’s 7th problem: O(N^11) operations, energy gap ≤1/18, using one exact real as nonuniform advice. I’m sharing the full proof for rigorous scrutiny.
https://t.co/7nYdIq3f1P