Inside Higher Ed· Elizabeth Redden·· 3 天前AI 评分28
OpenAI 智能体攻入数学界:数学家称这是一场"占领"
The AI Invasion Has Come for Mathematics
AI 导读
OpenAI 发布数百项新数学发现,此前其智能体用 10,000 个内部 agent 耗时 88 小时,产出据称满足 Clay 数学研究所约 25 年前提出的 Navier-Stokes 方程千禧年大奖难题标准的证明。数学家对此普遍担忧人类数学家的近期成果被未经许可、未加注明地使用,并指出 MIT 等富裕院校能负担前沿模型许可、资源较少的院校则不能,呼吁政府保障高性能 LLM 的公平获取。
来源:Inside Higher Ed · insidehighered.com