实体
Michael Harris
Michael Harris
PulseAugur coverage of Michael Harris — every cluster mentioning Michael Harris across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
人工智能攻克重大数学难题，引发社区争论
OpenAI、Anthropic 和 Google 等领先的人工智能公司在解决复杂的数学问题方面取得了重大进展，包括此前未解决的千禧年大奖难题。OpenAI 声称已解决了纳维-斯托克斯存在性与光滑性问题，如果得到证实，这将是自动化推理的一个重要里程碑。尽管这些进展被视为令人印象深刻的基准和科技巨头的潜在公关活动，但数学界的一些人对人工智能开发商使用的方法和规范表示担忧，特别是关于 OpenAI 宣布解决纳维-斯托克斯问题的事件。
-
AI 推动数学机械化引发担忧
据报道，AI 公司正致力于实现数学的机械化，这引发了对该领域人类理解未来的疑问。这一发展引起了人们对 AI 接管数学推理可能导致“知识崩溃”的担忧。