OpenAI模型证伪了离散几何中的一个核心猜想
An OpenAI model has disproved a central conjecture in discrete geometry
AI 导读OpenAI开发的人工智能模型成功解决了数学界悬而未决逾80年的“单元距离问题”,并由此推翻了离散几何领域的一个核心猜想。这一突破被视作人工智能驱动数学研究的里程碑事件,标志着AI在基础科学理论探索中取得了实质性进展。该模型通过创新算法处理复杂的几何问题,展示了机器在自动化发现与验证数学猜想方面的巨大潜力。
来源:OpenAI:官网动态 · openai.com