According to OpenAI... an internal GPT-5.6 Sol model generated 10 new math and TCS results for about $2,000 in tokens, signaling lower-cost research.

According to @godofprompt, an internal OpenAI reasoning model solved an 80-year math problem in one try; nine top mathematicians verified the proof.