According to emollick, OpenAI convened mathematicians to advise responsible release of AI-driven proofs and tools, reducing disruption and aiding adoption.

According to OpenAI... An independent math advisory group will guide how OpenAI vets results, communicates findings, and builds research tools.

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.