小红花·文摘
  • 首页
  • AI Tokens🪙
  • 排行榜🏆
  • 直播
  • FAQ
沉浸式翻译 immersive translate
Dify.AI
陶哲轩转发抵制声明,数学界和OpenAI彻底撕破脸

OpenAI一次性发布700多份数学手稿,引发数学界反弹。人类数学协会声明呼吁抵制,指其炫耀权力、破坏同行评审,但该协会仅809名会员,声明还被检测为AI生成。OpenAI承认部分论文存疑,已撤下3篇并修订多篇。争论核心是AI大幅降低成果产出成本,但理解与验证成本未降,正改变科研运行方式。

陶哲轩转发抵制声明,数学界和OpenAI彻底撕破脸

爱范儿 爱范儿 · 2026-10-09T10:21:04Z

OpenAI称约一万个AI智能体协作88小时,构造出三维纳维-斯托克斯方程有限时间奇点,并完成Lean形式化验证。该结果基于人类数学家前期成果,并非独立发现。随后引发争议,涉及是否使用未公开研究数据及成果署名归属。事件真正意义在于展示AI可大规模并行探索研究路径,使科研本身变得可扩展。

AI真的解决了数学界最大的难题之一吗?

KDnuggets KDnuggets · 2026-09-30T14:00:26Z
我们为什么还需要人类数学家?

数学家Loh提出“人类繁荣公理”:AI发展会创造大量需人类掌控的高技能岗位,人手不足将迫使AI减速。他主张数学界公开以此为核心价值,保留人类研究者引导方向,并调整教学、招聘与研究方向。

我们为什么还需要人类数学家?

What's new by TerryTao What's new by TerryTao · 2026-09-20T00:55:40Z
成为基准

计算机科学家Talia Ringer回顾2021年接触Codex时的“AI悲伤周期”,担忧AI生成程序带来漏洞、研究领域被吞没、AI文化侵蚀开放协作传统。她主张主动向AI界和公众说明研究实质,推动编程语言领域与AI互补共存。她认为数学界面临更大关注与敌意,需长期开展公关,向公众解释数学过程而非基准,并考虑工会化、与小公司及学者合作。

成为基准

What's new by TerryTao What's new by TerryTao · 2026-09-17T14:07:00Z
证明、提示与博文

陶哲轩在博客中介绍合作博客“Proofs and Prompts”,旨在汇聚数学界对AI的多元讨论。该博客已发表约四十篇文章,作者包括博士生、本科生、菲尔兹奖得主和爱好者,但女性作者少,多来自欧美,且缺乏LLM开发经验者。博客呼吁更多人投稿,关注AI获取不平等、开源模型、期刊回应等具体问题,促进交流与组织。

证明、提示与博文

What's new by TerryTao What's new by TerryTao · 2026-09-16T15:23:10Z
幸福属于那些能知晓事物原因的人

数学家Nestor Guillen撰文主张,大语言模型应被视为类似市场、官僚体系和科学文献的“文化技术”,而非智能主体。其输出若含新数学思想,应视为数千年人类数学遗产的结晶,是学科骄傲而非威胁。他呼吁区分LLM技术与AI公司产品,推动开放模型,并借鉴滑板运动应对危机的经验,让数学界在动荡中变得更强大。

幸福属于那些能知晓事物原因的人

What's new by TerryTao What's new by TerryTao · 2026-09-13T18:27:49Z
OpenAI只想赢

OpenAI宣称用AI解决纳维-斯托克斯等千禧年难题,引发数学界不安。数学家批评其重竞赛轻合作,未充分致谢前人成果,并担忧研究人员数据被用于训练。学界发起《莱顿宣言》,呼吁理性看待AI,抵制企业炒作与对学术生态的冲击。

OpenAI只想赢

The Verge The Verge · 2026-09-12T11:00:00Z
数学界刚炸了锅: GPT-6 Astra自主破解两道数十年未解难题

GPT-6 Astra在FrontierMath-Erdos测试中仅解决68道埃尔德什开放问题中的2道,成功率3%,成本超22万美元。对比其FrontierMath Tier 4的98分,凸显AI在“解已知题”与“发现新问题”间的巨大差距。测试采用Lean形式化验证,确保结果可靠,但63道题仍无解,显示AI数学发现能力有限且成本高昂。

数学界刚炸了锅: GPT-6 Astra自主破解两道数十年未解难题

极道 极道 · 2026-09-03T23:12:00Z
早报|极氪回应跨境自驾车机被锁/曝苹果Apple Store应用将上线「AI购物助手」/梁文锋:DeepSeek不追求成为下一个字节或腾讯

王虹、邓煜获2026年菲尔兹奖,成为首批获此荣誉的中国籍数学家,分别证明三维挂谷猜想和推进希尔伯特第六问题。丘成桐称这标志中国数学界走向成熟。其他新闻包括iOS 27限制逾期分期iPhone、手机涨价、荣耀Robot Phone、特斯拉投资周期、AI行业动态等。

早报|极氪回应跨境自驾车机被锁/曝苹果Apple Store应用将上线「AI购物助手」/梁文锋:DeepSeek不追求成为下一个字节或腾讯

爱范儿 爱范儿 · 2026-07-24T00:12:12Z
理所当然也能错,数学界震动:「上下铺猜想」被证伪

数学家们推翻了双层床猜想,证明在某些图中,从下铺到上铺的路径概率并不总是更高。这一结果挑战了数学直觉,强调了质疑假设的重要性,并引发了对数学证明本质的讨论。

理所当然也能错,数学界震动:「上下铺猜想」被证伪

机器之心 机器之心 · 2024-11-02T07:00:15Z
勾股定理还能这样证明?高中生一连发现10种证明方法,陶哲轩点赞

两位高中生Ne’Kiya Jackson和Calcea Johnson在《美国数学月刊》上发表了勾股定理的新证明方法,提出了十种基于三角学的新证明,挑战传统观点,受到数学界的赞赏。

勾股定理还能这样证明?高中生一连发现10种证明方法,陶哲轩点赞

机器之心 机器之心 · 2024-10-30T05:30:00Z
  • <<
  • <
  • 1 (current)
  • >
  • >>
👤 个人中心
在公众号发送验证码完成验证
登录验证
在本设备完成一次验证即可继续使用

完成下面两步后,将自动完成登录并继续当前操作。

1 关注公众号
小红花技术领袖公众号二维码
小红花技术领袖
如果当前 App 无法识别二维码,请在微信搜索并关注该公众号
2 发送验证码
在公众号对话中发送下面 4 位验证码
友情链接: MOGE.AI 九胧科技 1tok 菜鸟教程 Remio.AI DeekSeek连连 53AI 神龙海外代理IP IPIPGO全球代理IP 东波哥的博客 匡优考试在线考试系统 开源服务指南 蓝莺IM Solo 独立开发者社区 AI酷站导航 极客Fun 我爱水煮鱼 周报生成器 He3.app 简单简历 白鲸出海 T沙龙 职友集 TechParty 蟒周刊 Best AI Music Generator 模力方舟 Gitee AI

小红花技术领袖俱乐部
小红花·文摘:汇聚分发优质内容
小红花技术领袖俱乐部
Copyright © 2021-
粤ICP备2022094092号-1
公众号 小红花技术领袖俱乐部公众号二维码
视频号 小红花技术领袖俱乐部视频号二维码