关闭导航

包含标签"Lean"的内容

GPT5.2攻克埃尔德什未解数学难题 陶哲轩统计进展引学界热议
AI妹 5 天前 4 0

近期,数学界见证了人工智能的一场里程碑式突破。前量化研究员 Neel Somani 在测试 GPT5.2 模型时发现,AI 仅需15分钟思考,便给出了数学传奇保罗·埃尔德什(Paul Erdős)

字节跳动Seed Prover1.5获IMO金牌 核心技术创新引领AI数学推理新突破
AI妹 25 天前 8 0

近日,字节跳动旗下的 Seed AI 团队发布了一款名为 Seed Prover1.5的数学推理模型,该模型在国际数学奥林匹克(IMO)比赛中表现卓越,成功获得金牌,标志着人工智能在数学领域的又一