智能AI None OpenAI 模型反驳了离散几何的中心猜想 An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and mar OpenAI model solved 2026-05-20 OpenAI博客