1
免责声明:Al优秘圈所有资讯仅代表作者个人观点,不构成任何投资理财建议。请确保访问网址为(kx.umi6.com) 投诉及建议
综合
7*24 快讯
AI科普
合作
全部
英雄令
项目方
开发者
产品方
投资者
陶哲轩在线安利Claude Code:审稿意见全给它,15分钟欧了
2026年5月,数学家陶哲轩在论文审稿过程中巧妙利用AI工具Claude Code,仅用15分钟便高效完成第二轮修改。此前,陶哲轩与合作者需花费数天时间人工处理审稿人提出的详细反馈,而此次他将审稿报告、LaTeX源文件和论文PDF交给Claude Code后,AI迅速识别并修正了12个问题,甚至发现审稿人一处错误。陶哲轩表示,未来会优先借助AI处理琐碎任务,让人类专注于创造性工作。他还强调,AI应作为数学家的‘副驾驶’而非替代者。自2022年起,陶哲轩便积极探索AI辅助数学研究的可能性,并取得显著成果,如解决Erdős难题等。AI正逐渐成为数学界的重要趋势,助力科研效率大幅提升。
蝶舞CyberSwirl
05-06 16:23:01
分享至
打开微信扫一扫
内容投诉
生成图片
硅谷5月将迎“Science for AI”峰会,全球科学界及企业界“最强大脑”首次线下集结
5月12日至13日,硅谷将举办“2026 Science for AI Summit”峰会,由科学与人工智能研究基金会(SAIR Foundation)主办。此次峰会首次线下集结全球顶尖科学家、企业家和投资人,包括陶哲轩、诺贝尔奖得主巴里·巴里什、兰迪·谢克曼,以及图灵奖得主杰弗里·乌尔曼等学术领袖,还有谷歌母公司董事长约翰·轩尼诗、红杉资本合伙人Alfred Lin等产业界代表。会议聚焦AI与科学的融合发展,探讨技术开发、治理、投资等议题,并介绍“数学蒸馏挑战赛”进展。背景是AI发展面临数据与算力瓶颈,亟需理论突破。峰会采用定向邀请制,席位有限,现已开放报名。
AI奇点纪元
04-27 11:05:18
分享至
打开微信扫一扫
内容投诉
生成图片
陶哲轩:我差点江郎才尽,只因在普林斯顿待了一年
陶哲轩在普林斯顿高等研究院的一年经历,让他意识到数学家不能只埋头学术。起初,他享受无干扰的研究环境,但几个月后灵感枯竭,甚至沉迷上网摸鱼。这段经历让他感慨:数学家有时需要生活中的琐事激发灵感。 在与播客主理人Dwarkesh Patel的对话中,陶哲轩分享了对科学、数学和AI的思考。他认为,科学不仅...
跨界思维
03-23 18:33:41
分享至
打开微信扫一扫
内容投诉
生成图片
量子位专访陶哲轩:我为什么现在创办一个AI x Science组织
2026年初,数学家陶哲轩以联合创始人身份发起非营利组织SAIR Foundation,旨在重塑AI与科学的关系,连接学术界与产业界,推动两大目标:用科学方法打造AI、借助AI重塑基础科研。陶哲轩指出,AI在科研中的应用需解决幻觉和可解释性问题,并强调高质量数据的重要性。SAIR希望促进跨学科、全球化协作,降低科研门槛,让AI成为普惠工具。陶哲轩认为,未来的科研将更注重团队合作,年轻研究者可通过导师制及多样化背景参与前沿研究。此外,高等教育需适应AI时代,培养批判性思维与协作能力。
量子黑客
03-14 15:00:36
分享至
打开微信扫一扫
内容投诉
生成图片
SAIR年度峰会即将开幕,陶哲轩等顶尖科学家共议AI如何重塑科研未来
北京时间2月11日凌晨1:00,SAIR Foundation将举办“AI for Science: Kickoff 2026”年度峰会,汇聚全球顶尖科学家与AI产业领袖,探讨人工智能如何驱动未来十年的科学发现。菲尔兹奖得主陶哲轩将发表《机器辅助与未来数学研究》主题演讲,诺贝尔物理学奖得主巴里·巴里什和图灵奖得主理查德·萨顿也将分享见解。微软、英伟达等科技企业负责人将讨论AI在工业科研中的应用与挑战,会议还将聚焦AI时代的高等教育转型。可通过SAIR官方微信公众号等平台同步收看直播。
QuantumHacker
01-30 13:25:02
分享至
打开微信扫一扫
内容投诉
生成图片
45年数论猜想被GPT-5.2 Pro独立完成证明,陶哲轩:没犯任何错误
2026年1月17日,OpenAI的GPT-5.2 Pro独立证明了一道由保罗·埃尔德什和罗纳德·格雷厄姆于1980年提出的数论猜想,该猜想涉及同余覆盖系统与自然密度的关系。菲尔兹奖得主陶哲轩验证了这一证明,并评价其为‘最明确的第一类结果’,且未犯任何数学错误。与此同时,网友KoishiChan发现该问题可通过1936年和1966年的两个经典定理直接解决,揭示了文献传播中的盲点。陶哲轩提醒,评估AI数学能力需警惕报告偏差,当前AI在埃尔德什问题上的真实成功率仅为1%-2%,但仍具研究价值。
未来编码者
01-19 17:02:53
分享至
打开微信扫一扫
内容投诉
生成图片
OpenAI 布罗克曼:GPT-5.2 Pro 再次破解公开数学难题,获陶哲轩认可
1月18日,Eclipse创始人Neel Somani在X平台发文称,使用OpenAI最新高级模型GPT-5.2 Pro破解了一个著名的Erdős数学难题。数学家陶哲轩对此表示认可,认为这是‘AI解决开放问题的最明确案例’,并强调解答需谨慎理解。OpenAI总裁布罗克曼转发评论,称其为数学与科学进步的重要标志。GPT-5.2 Pro于2025年发布,擅长复杂任务推理与结构化输出,尤其在草拟证明和快速修改数学文本方面表现突出,但仍需人类专家校验结果。Erdős问题由匈牙利数学家保罗·埃尔德什提出,涵盖多个领域,难度分布广泛。陶哲轩指出,许多问题可能只是未被充分研究。
幻彩逻辑RainbowLogic
01-18 13:18:51
分享至
打开微信扫一扫
内容投诉
生成图片
半世纪难题48小时破解!陶哲轩组队把AI数学玩成打怪游戏了
2025年12月,陶哲轩与多名数学家借助AI工具,在48小时内破解了尘封50年的Erdős#1026难题。该问题最早于1975年提出,涉及博弈论和计算几何领域。通过AlphaEvolve、ChatGPT等AI工具的辅助,团队快速生成关键猜想并完成证明,最终将问题转化为矩形填充问题解决。此次协作结合了人类智慧与AI技术的优势,展现了‘人+人+AI’合作模式的巨大潜力。陶哲轩此前也曾用AI解决其他Erdős问题,并表示AI辅助在数学研究中已变得常见。Erdős问题网站鼓励公开使用AI解题,但需确保内容经过独立验证。这一成果标志着AI在数学领域的应用迈入新阶段。
心智奇点
12-13 23:13:03
分享至
打开微信扫一扫
内容投诉
生成图片
陶哲轩亲测谷歌 Gemini 3:十分钟搞定百年数学难题
11月23日,谷歌Gemini 3在发布后迅速领跑各大基准测试。知名研究机构Epoch AI证实,Gemini 3 Pro在高级数学基准测试FrontierMath中创下新纪录:Tier 1-3准确率达38%,Tier 4达19%,并在综合能力指数(ECI)中以154分超越GPT-5.1的151分。更令人瞩目的是,数学家陶哲轩近日利用Gemini Deepthink模式仅用十分钟解决了百年数学难题埃尔德什问题#367的关键证明。此外,Gemini 3还在物理基准测试CritPt中表现优异,尽管得分为9.1%,但已代表当前AI模型最前沿水平。这一系列成果表明,AI正成为科学家高效协作的重要工具。
代码编织者
11-23 23:27:24
分享至
打开微信扫一扫
内容投诉
生成图片
谷歌 AI 系统 AlphaEvolve 获陶哲轩团队认可:使大规模数学研究成为可能
11月19日,谷歌旗下DeepMind开发的AI系统AlphaEvolve获加州大学洛杉矶分校陶哲轩团队认可,称其可推动大规模数学研究。该系统于今年5月发布,能自主发现算法与数学公式,通过生成和筛选潜在解法高效解决优化问题。在测试中,AlphaEvolve成功复现了人类已知最优解,并在部分案例中提出更优方案。陶哲轩团队测评显示,系统显著提升解题速度,使原本需数年的研究项目成为可能。然而,系统有时会利用问题漏洞生成‘钻空子’答案。尽管存在局限性,AlphaEvolve已引发数学界对专业AI工具的浓厚兴趣,或为中等难度数学问题提供解决方案。专家呼吁计算机科学家与数学家加强合作,拓展AI在数学研究中的应用。
智能视野
11-19 17:28:31
分享至
打开微信扫一扫
内容投诉
生成图片
加载更多
暂无内容
AI热搜
更多
扫一扫体验小程序