据emollick称，LLMs跨学科重组数学概念，缓解知识过载并提速科研。

据OpenAI称，内部GPT‑5.6 Sol以约2000美元算力产出10项数学与理论计算机成果。

据@godofprompt称，OpenAI内测推理模型一次性解出80年难题，9位顶尖数学家已核验。