★ 4
前沿 AI 实验室称模型证伪指数时间假说，MIT 学者解读
TechCrunch 采访 MIT 计算机科学家，解读前沿AI实验室宣称其模型证伪计算复杂性理论中的指数时间假说（ETH）一事。报道探讨该说法在理论计算机科学上的含义与可信度，引发对AI能否做出真正数学突破的讨论。
TechCrunch AI5 天前
#理论计算机
共 3 篇相关资讯，按重要度与时间排序，每 3 小时更新。
★ 3
AI 逼近 Unique Games 证明，研究者抢先攻克
Quanta Magazine 报道，随着 AI 在数学证明上不断逼近「Unique Games」猜想，研究者们展开竞赛，力求在机器之前完成证明。文章探讨 AI 对理论计算机科学与数学研究范式的冲击。
Hacker News – AI24 天前
★ 2
Scott Aaronson 谈 AI 对科学与数学的影响
理论计算机科学家 Scott Aaronson 在访谈中讨论 AI 对科学研究和数学发现的冲击。他谈及 AI 在证明辅助、问题求解上的潜力，以及由此带来的对科研范式与人类数学家角色的思考。
Hacker News – AI32 天前
这个主题的相关资产
相关公司OpenAI1