reasoningfactbullishGPT-5.6 Sol can resolve 100+ year old mathematical conjecturesGreg Brockman31 Jul 2026https://x.com/gdb/status/2083048981370921226