小红花·文摘
  • 首页
  • AI Tokens🪙
  • 排行榜🏆
  • 直播
  • FAQ
幸福属于那些能知晓事物原因的人

数学家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 位验证码
小红花技术领袖俱乐部
小红花·文摘:汇聚分发优质内容
小红花技术领袖俱乐部
Copyright © 2021-
粤ICP备2022094092号-1
公众号 小红花技术领袖俱乐部公众号二维码
视频号 小红花技术领袖俱乐部视频号二维码