小红花·文摘
  • 首页
  • 广场
  • 排行榜🏆
  • 直播
  • FAQ
Dify.AI
数学专业,危!菲尔兹奖得主亲测ChatGPT 5.5 Pro,17分钟出论文级成果

数学家Timothy Gowers对AI在数学研究中的能力表示担忧,认为AI可能会取代博士生的研究工作。尽管AI能快速解决问题,但人类数学家的理解能力不可替代。陶哲轩强调,理解和探索数学的过程是人类独有的,AI无法完全替代。两位数学家对AI的影响看法不同,Gowers感到危机,而陶哲轩关注人类思维的深度。

数学专业,危!菲尔兹奖得主亲测ChatGPT 5.5 Pro,17分钟出论文级成果

量子位
量子位 · 2026-05-11T05:14:35Z

谷歌新版reCAPTCHA与Android的Google Play服务强绑定,导致去谷歌化设备用户无法验证,增加隐私担忧。数学家利用ChatGPT 5.5 Pro解决加法数论问题,展示了大型语言模型在数学研究中的潜力。互联网档案馆在瑞士成立分支,致力于保护濒危数字资料。AI加速漏洞修复,传统披露文化面临挑战。Meta关闭Instagram私信的端到端加密,引发隐私争议。

2026 05 10 HackerNews

介绍 on SuperTechFans
介绍 on SuperTechFans · 2026-05-09T22:49:35Z
谷歌「AI联合数学家」来了!刷新最难数学AI基准SOTA,牛津教授用它解开群论悬案

谷歌DeepMind推出的「AI联合数学家」成功解决了Kourovka Notebook第21.10号问题,标志着数学研究的新突破。该系统通过人机协作,提升了解决数学难题的效率,强调持续互动与反馈,记录失败假设,帮助数学家更好地研究。在FrontierMath基准测试中,该系统取得了48%的准确率,超越了其他AI模型,展示了AI与数学家合作的潜力。

谷歌「AI联合数学家」来了!刷新最难数学AI基准SOTA,牛津教授用它解开群论悬案

量子位
量子位 · 2026-05-09T07:12:48Z
陶哲轩在线安利Claude Code:审稿意见全给它,15分钟欧了

陶哲轩利用AI工具Claude Code提高论文修改效率,通过输入审稿反馈与论文文件,快速识别并修正问题,仅需15分钟。他强调AI应作为数学家的助手,帮助解决细节问题,而人类则专注于核心难题。这一趋势在数学界逐渐普及,AI辅助研究的潜力不断被挖掘。

陶哲轩在线安利Claude Code:审稿意见全给它,15分钟欧了

量子位
量子位 · 2026-05-06T08:11:51Z
AI for Mathematics:当人工智能邂逅纯数学——2026年的突破性进展

北京大学的论文《AI for Mathematics》探讨了人工智能在数学研究中的进展与挑战,主要分为问题特定建模和通用建模两大方向。AI已成为数学家的重要合作伙伴,帮助发现新关系、构造反例和掌握形式化推理,开启了数学研究的新黄金时代。

AI for Mathematics:当人工智能邂逅纯数学——2026年的突破性进展

Micropaper
Micropaper · 2026-03-01T14:00:00Z
方程理论项目:推进大规模协作数学研究

马修·博兰等人发布了《方程理论项目:推进大规模协作数学研究》的预印本,系统探索了4684个代数法则,利用自动定理证明工具等方法揭示了许多法则间的蕴含关系,但部分复杂蕴含仍需深入研究。

方程理论项目:推进大规模协作数学研究

What's new by TerryTao
What's new by TerryTao · 2025-12-09T17:13:55Z
埃尔德什问题#1026的故事

埃尔德什问题1026最近通过文献、在线合作和AI工具得到解决,涉及寻找序列的最大单调子序列长度。研究者们通过讨论和计算,最终利用AI工具证明了相关的界限和定理,展示了现代技术在数学研究中的应用。

埃尔德什问题#1026的故事

What's new by TerryTao
What's new by TerryTao · 2025-12-09T03:11:49Z

谷歌DeepMind推出“数学AI倡议”,与五大顶尖研究机构合作,利用AI推动数学研究,解决复杂问题,旨在加速发现,结合数学家的直觉与AI能力,开启新的研究路径。

通过数学AI倡议加速发现

The Keyword
The Keyword · 2025-10-29T14:00:00Z
一个众包项目,将erdosproblems.com与在线整数序列百科全书(OEIS)连接起来

Thomas Bloom的erdosproblems.com网站汇集了近千个保罗·厄尔多斯提出的问题,约三分之一已解决。网站新增讨论论坛以促进问题解决。我们计划通过众包项目计算与厄尔多斯问题相关的整数序列,并与在线整数序列百科全书(OEIS)交叉验证,吸引更多数学爱好者参与研究。

一个众包项目,将erdosproblems.com与在线整数序列百科全书(OEIS)连接起来

What's new by TerryTao
What's new by TerryTao · 2025-09-01T07:23:52Z

GPT-5 Pro在数学研究中独立提出了更精确的优化边界,尽管其成果被人类研究者的新论文超越,但其证明思路展现了自主探索能力,OpenAI总裁称之为“生命迹象”。

GPT-5 Pro独立做数学研究!读论文后给出更精确边界,OpenAI总裁:这是生命迹象

量子位
量子位 · 2025-08-21T09:25:03Z

陶哲轩因UCLA科研经费被冻结而愤怒,他在社交媒体上阐述数学研究的重要性,强调“压缩感知”技术的贡献,并指出数学定理为跨学科合作奠定基础。他认为基础数学研究的回报不应仅以短期成果来衡量。

陶哲轩经费被断供,在线发帖自证数学有用

量子位
量子位 · 2025-08-05T04:42:32Z

清华AIM团队推出的AI数学家(AIM)能够独立解决复杂数学问题并构建高质量证明。AIM通过探索、验证和修正模块逐步生成猜想和证明,展现出基本的数学研究能力。尽管仍需人类调整,AIM已显著加速数学研究进展,未来将通过优化算法提升推理能力。

清华AI数学家:独立完成理论难题,自动调用基本定理构建证明思路

量子位
量子位 · 2025-06-05T02:17:40Z
人工智能数学与现实:范畴理论揭示差距

AI在数学研究中的能力与宣传存在显著差距。尽管一些AI系统声称能解决复杂数学问题,但实际表现远低于预期,尤其在定义提取和推理方面。研究建议建立更严格的检查机制,并提醒数学家不要完全依赖AI。

人工智能数学与现实:范畴理论揭示差距

DEV Community
DEV Community · 2025-04-24T21:52:34Z

陶哲轩在演讲中探讨了机器如何改变数学研究,特别是机器学习和形式证明助手的应用。他指出,尽管数学界相对保守,但机器的使用在数据处理和实验数学方面逐渐增加。机器学习帮助数学家发现数据中的模式,促进了合作和新方法的探索。形式证明助手提高了数学证明的验证效率,未来可能推动数学研究的发展。

陶哲轩 - 机器辅助证明(2025年2月19日)

Josherich的博客
Josherich的博客 · 2025-02-23T00:00:01Z
大家好,我是一名数学研究学者,目前对我的工作感到无聊。我已经掌握了相当多的Python,正在尝试一些Node.js的内容,能否请大家推荐一些我可以阅读的资料,帮助我摆脱博士研究的困境?

一位数学研究学者感到无聊,想要从博士研究中解脱。他已掌握Python,正在尝试Node.js,希望获得阅读建议。

大家好,我是一名数学研究学者,目前对我的工作感到无聊。我已经掌握了相当多的Python,正在尝试一些Node.js的内容,能否请大家推荐一些我可以阅读的资料,帮助我摆脱博士研究的困境?

DEV Community
DEV Community · 2025-01-31T20:23:15Z
三名高中生,为近百年的分形定理带来了新证明

三名高中生在导师指导下成功证明所有扭结可嵌入门格海绵中,研究探讨了分形与扭结的关系,展示了数学研究的复杂性与乐趣。

三名高中生,为近百年的分形定理带来了新证明

机器之心
机器之心 · 2024-11-30T05:53:34Z
在通用代数中探索协作与机器辅助新方法的试点项目

传统上,数学研究由少数专家进行,难以大规模组织。证明助手语言如Lean提供了解决方案,允许专业数学家、公众和AI工具共同参与复杂项目。通过模块化分解,可以实现大规模协作。目前主要是人类参与,但也有自动化工具的尝试。项目如“Polymath”展示了这种协作的潜力。本文提出试点项目,探索简单代数理论的等式公理,利用证明助手和众包方法扩展研究规模。

在通用代数中探索协作与机器辅助新方法的试点项目

What's new by TerryTao
What's new by TerryTao · 2024-09-26T04:23:19Z
陶哲轩IMO演讲全文:一次性解决一千个问题,AI让数学摆脱蛮力计算

数学家陶哲轩回顾了计算机和人工智能在数学研究中的应用,强调人类的洞察力和创造力的重要性。他介绍了计算工具的发展历史,包括计算机和机器学习的应用,以及形式化证明辅助和大型语言模型在数学中的应用。他指出,虽然AI在数学领域的作用越来越大,但仍需要人类的参与和创造力。

陶哲轩IMO演讲全文:一次性解决一千个问题,AI让数学摆脱蛮力计算

机器之心
机器之心 · 2024-08-29T06:31:28Z

陶哲轩最新演讲中谈到了人工智能与数学的关系,指出人工智能可以推动数学研究的规模和应用,包括机器辅助计算、解决数学难题和证明辅助。他认为虽然目前应用有限,但未来有更多可能性。

陶哲轩最新演讲:AI时代,数学研究将进入前所未有的规模

量子位
量子位 · 2024-08-28T08:39:11Z
  • <<
  • <
  • 1 (current)
  • >
  • >>
👤 个人中心
在公众号发送验证码完成验证
登录验证
在本设备完成一次验证即可继续使用

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

1 关注公众号
小红花技术领袖公众号二维码
小红花技术领袖
如果当前 App 无法识别二维码,请在微信搜索并关注该公众号
2 发送验证码
在公众号对话中发送下面 4 位验证码
小红花技术领袖俱乐部
小红花·文摘:汇聚分发优质内容
小红花技术领袖俱乐部
Copyright © 2021-
粤ICP备2022094092号-1
公众号 小红花技术领袖俱乐部公众号二维码
视频号 小红花技术领袖俱乐部视频号二维码