标签: 人工智能

【AI解出百年数学难题,25位菲尔兹奖得主却联署警告】9月11日,陶哲轩、邓煜等25位菲尔兹奖得主联合发表公开信,警告AI正在数学领域出现“严重错位”。 他们并不反对AI做数学。相反,他们承认,大模型已经开始解决真正的前沿难题。 真正的问题是:AI公司把“解出多少难题”当成能力指标,但数学真正追求的并不只是答案,而是理解、方法和思想传承。 最近的Navier-Stokes争议把这种焦虑推到台前。OpenAI调动约1万个智能体,88小时…

【AI解出百年数学难题,25位菲尔兹奖得主却联署警告】9月11日,陶哲轩、邓煜等25位菲尔兹奖得主联合发表公开信,警告AI正在数学领域出现“严重错位”。 他们并不反对AI做数学。相反,他们承认,大模型已经开始解决真正的前沿难题。 真正的问题是:AI公司把“解出多少难题”当成能力指标,但数学真正追求的并不只是答案,而是理解、方法和思想传承。 最近的Navier-Stokes争议把这种焦虑推到台前。OpenAI调动约1万个智能体,88小时…

9月11日,陶哲轩、邓煜等25位菲尔兹奖得主联署公开信,承认AI已能解出真正的前沿数学难题,但警告“以解题数量衡量能力”的导向正在伤害数学最核心的开放交流与思想传承。争议焦点是近期Navier-Stokes方程事件:OpenAI调动约1万个智能体、88小时完成证明,而数学家刚公布的研究方法随即被AI“蒸馏”。

OpenAI:“我们使用去标识化数据来改进 ChatGPT

OpenAI:“我们使用去标识化数据来改进 ChatGPT

OpenAI 研究负责人 Mark Chen 公开区分了两件事——没有任何人查看用户数据用于 Navier-Stokes 相关研究,但公司确实会用用户反馈和去标识化数据来整体改进 ChatGPT 和 Codex。这句话之所以引发讨论,是因为它把大模型行业长期模糊的数据使用边界,第一次说得比较直白。

教师们担心 AI 正以他们无法阻止的速度接管课堂

教师们担心 AI 正以他们无法阻止的速度接管课堂

Epson 在欧洲六国调查 3360 人后发现,约 80% 的教师担心 AI 进入课堂的速度已超出他们能掌控的范围,而 87% 的学生每周至少用一次 AI 做功课。随着欧盟《人工智能法案》开始执行,学校被要求为在用的 AI 工具提供相应培训,问题从“要不要禁”变成“怎么管”。

MCPShip

MCPShip

Product Hunt 上出现了一款名为 MCPShip 的产品,从命名看,它面向当下快速升温的 MCP(Model Context Protocol)生态,试图简化 AI 应用与外部工具、数据源之间的连接流程。值得关注的原因在于,MCP 正在成为大模型接入外部能力的事实标准之一,围绕它的工具链越完整,AI…

issue: “does not support tools”

issue: "does not support tools"

当 Open WebUI 中使用的 Ollama 模型(如 PaddleOCR-VL、qwen3 8b 等)不支持工具调用(tools)能力,但 Open WebUI 默认按工具调用模式发起请求时,就会报 does not support tools 。优先检查当前模型的函数调用模式设置。

程序员一定会被这个时代淘汰,因为程序员除了写代码啥也不会,而他唯一会的东西现在已经被 AI 100% 取代了。 未来最有前途的是 AI +,比如 AI + 金融,AI + 医疗,AI + 工业,程序员搞不了,因为他不懂。但本身就是金融、医疗、工业等领域的人,稍微了解一下 AI 立马就能做出真正有价值的东西。

程序员一定会被这个时代淘汰,因为程序员除了写代码啥也不会,而他唯一会的东西现在已经被 AI 100% 取代了。 未来最有前途的是 AI +,比如 AI + 金融,AI + 医疗,AI + 工业,程序员搞不了,因为他不懂。但本身就是金融、医疗、工业等领域的人,稍微了解一下 AI 立马就能做出真正有价值的东西。

开发者 Leto Bao 在 X 上发帖称程序员将被 AI 取代,未来属于“AI + 金融/医疗/工业”的行业人,这条帖子浏览量超过 11 万,引发评论区关于 AI coding 与行业 Know-how 谁更稀缺的争论。