/
自动化证明 关键字列表
AI模型开始攻克高难度数学问题
软件工程师尼尔·索马尼在测试OpenAI新模型的数学能力时发现，ChatGPT能够解决复杂的开放性数学问题。自圣诞节以来，埃尔德什问题网站上已有15个问题从"开放"转为"已解决"状态，其中11个解决方案明确提及AI模型参与了求解过程。著名数学家陶哲轩认为，AI系统的可扩展性使其更适合系统性地解决那些实际上有直接解法的冷门埃尔德什问题。
白皮书
京公网安备 11010802021500号
