Ambar Sengupta

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

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