评论质疑OpenAI与Anthropic自动证明的意义

Deccan Herald评论回应OpenAI称AI解决Navier–Stokes方程、Anthropic称AI形式化费马大定理的说法，指出这些工作均建立在人类已有成果之上，且两家公司聘有数学家、人机贡献界限不透明。NYU数学家Tristan Buckmaster对《纽约时报》称，一次性发布大量结果，相关机构恐怕未做充分尽职调查。

• 评论质疑Anthropic拟2万亿美元IPO与自主性说法2026-10-18
• Eisman警告：OpenAI一旦倒闭或致美国立即衰退2026-10-17
• 奥特曼称AI奇点已至，此前OpenAI模型自主入侵Hugging Face2026-10-17
• 评论：AI风险不应引发恐慌2026-10-17
• Replit不再与Anthropic合作，CEO称因成本与性能2026-10-16