该标签下共有 1 篇文章
作者: aeks | 发布时间: 2026-05-23 04:12
学科: 数学 智能科学与技术 计算机科学与技术
美国OpenAI公司用AI聊天机器人破解了80年未解的几何难题——‘单位距离问题’，推翻了数学家埃尔德什1946年提出的猜想。该成果经独立数学家验证，是首个由AI自主完成的重要数学突破。
标签: 人工智能数学发现 代数数论 单位距离问题 埃尔德什猜想 自主推理