Anthropic公司研发的AI模型Claude在一个尚未正式发布的版本中，于黎曼猜想相关的核心问题上取得了令人瞩目的进展。黎曼猜想作为数学界最负盛名的未解难题之一，其核心在于黎曼zeta函数非平凡零点的分布规律，与素数...

人工智能研究机构Epoch近日发布报告，确认其最新模型GPT-5.4 Pro成功解决了一个长期悬而未决的前沿数学开放问题——超图上的拉姆齐风格问题。该问题属于组合数学的核心领域，要求构造尽可能大的超图，使其不具备某个易...