AI情报Aug 12, 2026AI情报文章OpenAI 宣布解决了数学和理论计算机科学中的 10 个重大问题,包括首次构造非 sofic 群。这标志着 AI 在数学推理能力上的重大飞跃。Data Cube AI 编辑部2026年8月11日来源: TechCrunch AI01来源简报OpenAI 宣布解决了数学和理论计算机科学中的 10 个重大问题,包括首次构造非 sofic 群。这标志着 AI 在数学推理能力上的重大飞跃。02相关话题ResearchOpenAI数学AI 研究突破查看本期