https://www.neican.ai/tags/%E9%99%B6%E5%93%B2%E8%BD%A9/ Recent content in 陶哲轩 on AI内参 Hugo zh-cn Tue, 14 Jul 2026 12:10:06 +0800 https://www.neican.ai/insights/ai20bug-20260714121006536-1/ Tue, 14 Jul 2026 12:10:06 +0800 https://www.neican.ai/insights/ai20bug-20260714121006536-1/ 数学家陶哲轩用AI智能体迁移自己1997年建的古老个人主页，AI不仅一天搬完560篇论文和一堆小程序，还顺手从大神20多年前的代码里揪出两个隐藏bug。这事儿证明，AI干“数字家务”效率惊人，其真正价值是让人类从繁琐的维护工作中解放出来，变成最后把关的人。 https://www.neican.ai/insights/ai784799-20260611221018933-2/ Thu, 11 Jun 2026 22:10:18 +0800 https://www.neican.ai/insights/ai784799-20260611221018933-2/ 陶哲轩的First Proof第二轮评测结果出炉：10道研究级数学难题中，AI解出7道达到发表标准的答案，最低成本仅8美元/题。其中一套AI系统还给出了人类从未想到的原创解法。不过陶哲轩认为整体表现未达预期，第三轮已安排上。 https://www.neican.ai/newspaper/2026-03-14-03-14-ai-/ Sat, 14 Mar 2026 19:21:35 +0800 https://www.neican.ai/newspaper/2026-03-14-03-14-ai-/ 2026年03月14日，AI行业进入“硬着陆”阶段。从陶哲轩转型重塑科学底座，到OpenClaw安全爆雷，再到硅谷巨头在政商博弈中的路线分化，AI正从概率幻觉走向重资产基建与物理世界的残酷竞争。 https://www.neican.ai/insights/article-20260314141006671-0/ Sat, 14 Mar 2026 14:10:06 +0800 https://www.neican.ai/insights/article-20260314141006671-0/ 本文深度专访了菲尔兹奖得主陶哲轩，探讨他在50岁之际创立SAIR Foundation的内在动机。文章展现了陶哲轩从孤独天才向行业架构师的转型，重点阐述了他通过AI实现“科学普惠化”的愿景，以及他对AI时代人类智慧价值的深刻思辨。 https://www.neican.ai/insights/aigemini6-20260212111005280-1/ Thu, 12 Feb 2026 11:10:05 +0800 https://www.neican.ai/insights/aigemini6-20260212111005280-1/ 谷歌DeepMind发布科研智能体Aletheia，基于Gemini Deep Think，不仅能以91.9%的成绩刷爆数学基准测试，还独立撰写了学术论文并解决18大科研难题。数学大神陶哲轩实测其十分钟解决百年难题，标志着AI正式从“竞赛做题家”转型为“专业科学家”。 https://www.neican.ai/insights/article-20251201171005207-1/ Mon, 01 Dec 2025 17:10:05 +0800 https://www.neican.ai/insights/article-20251201171005207-1/ AI数学家“亚里士多德”利用强化学习、蒙特卡洛树搜索及Lean形式化证明系统，在6小时内成功破解困扰30年的埃尔德什问题#124简版。这一突破不仅展现了专业AI Agent在复杂数学推理上的强大能力，超越了通用大模型的局限性，更预示着数学研究将进入人机协作的“vibe proving”时代，并将加速形式化方法在商业和科学发现领域的广泛应用，重塑人类认知与探索的边界。 https://www.neican.ai/insights/gpt-5ai-20251020181005050-0/ Mon, 20 Oct 2025 18:10:05 +0800 https://www.neican.ai/insights/gpt-5ai-20251020181005050-0/ OpenAI近期因夸大GPT-5在数学领域的“突破”而遭遇舆论反噬和监管审查，不仅导致其估值受损，更凸显了AI行业在追求创新与保持科学严谨性之间的张力。此次事件也引发了对AI在科学发现中真实角色的深刻反思，转向强调AI作为加速人类研究的强大辅助工具，而非独立解题者的未来范式。 https://www.neican.ai/insights/gpt-5-pro-20251011174004898-1/ Sat, 11 Oct 2025 17:40:04 +0800 https://www.neican.ai/insights/gpt-5-pro-20251011174004898-1/ 陶哲轩与GPT-5 Pro在微分几何难题上的合作，展现了AI在复杂数学问题中从计算到部分证明的强大辅助能力，尤其在“小尺度”任务中显著提效。此次事件不仅推动了AI数学能力边界，更引发了对人机协作范式、AI多尺度价值、科学发现未来走向及潜在伦理商业影响的深度思考，预示着一个“人机共生”科研新时代的到来。 https://www.neican.ai/insights/18aiko-20250914134004558-0/ Sun, 14 Sep 2025 13:40:04 +0800 https://www.neican.ai/insights/18aiko-20250914134004558-0/ 一个名叫Gauss的AI Agent，仅用三周就解决了菲尔兹奖得主陶哲轩和合作者耗时18个月都未能搞定的数学挑战——在Lean中形式化强素数定理。这背后的Math公司由BatchNorm联合创始人Christian Szegedy领衔，预示着AI在数学形式化领域的巨大潜力，也引发了陶哲轩对AI与人类协作中“隐含目标”的深度思考。 https://www.neican.ai/insights/gpt-5-20250903181004717-1/ Wed, 03 Sep 2025 18:10:04 +0800 https://www.neican.ai/insights/gpt-5-20250903181004717-1/ 数学界“顶流”陶哲轩联手OpenAI“准发布”的GPT-5，成功用AI的“半自动化文献检索”功能，解决了一个困扰几十年的Erdős数学难题，证明AI能当高效率的“知识桥梁”，帮助人类在海量数据中精准“捞”出答案。这波操作，加上之前GPT-5在IMO竞赛中达到金牌水平的消息，直接把AI在科学发现领域的应用前景拉满，预示着一个“人机协作，众包解题”的新时代正悄然到来！ https://www.neican.ai/insights/openai-20250721161005649-2/ Mon, 21 Jul 2025 16:10:05 +0800 https://www.neican.ai/insights/openai-20250721161005649-2/ OpenAI最近宣布其AI模型在IMO奥数竞赛中取得了“金牌级别”成绩，却引发巨大争议。网友和专家质疑其发布时机是否抢了人类选手的风头、自评“金牌”的含金量以及AI与人类竞赛的公平性，数学大神陶哲轩更是直指AI拥有人类无法比拟的“资源外挂”。 https://www.neican.ai/insights/openaiimo-20250721121005323-0/ Mon, 21 Jul 2025 12:10:05 +0800 https://www.neican.ai/insights/openaiimo-20250721121005323-0/ OpenAI近期宣称自家AI模型在IMO数学竞赛中达到金牌水平，但这一高调官宣迅速引发争议，被指“偷跑”抢发结果，甚至未获IMO官方认证。数学界大佬陶哲轩也下场质疑其测试方式。尽管OpenAI紧急回应并澄清时间点，但这场风波已然成为AI巨头公关战的缩影，同时也引发了对AI数学能力边界的深度探讨。