According to OpenAI and the Simons Foundation, OpenAI will contribute $5 million and provide model and compute access to a new $15 million Simons initiative funding workshops, conferences, and programs to help mathematicians examine and build on AI-produced results.

According to OpenAI... the lab released new math results from a frontier model with IAS advisory input, outlining cautious disclosure via GitHub.

According to @OpenAI, an internal frontier model produced new math results, released with IAS advisory input and posted at github.com/openai/math.

According to AIatMeta, mathematicians used Muse Spark 1.1 and 1.2 to co-author six papers solving open problems via meta.ai chat, with peer review.

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.