陶哲轩：千年数学规则被AI按下重启键
新智元报道【新智元导读】菲尔兹奖得主陶哲轩在斯坦福演讲后宣布改变个人工作习惯：不再试图实时跟进所有新证明。AI生成证明的速度已经远超人类消化能力，数学正在被自己的产出撑爆。陶哲轩，公开演讲承认AI已彻底改变数学工作流。周三，这位菲尔兹奖得主在斯坦福大学发表了一场题为《新数学工作流》的演讲。然后在Mathstodon上写下一条公告：他要改变自己的工作习惯，不再试图实时跟进所有新证明。一个每年审阅上百
科技4 阅读
搜索: "智元"
共找到 392 篇相关文章
Claude为什么早晨8:30催你睡觉？
新智元报道【新智元导读】Claude在对话里反复催用户去睡觉，有人被连催三次，也有人在上午8:30被告知「早点休息」。Anthropic员工承认这是「角色习惯」，但没人能解释它为什么这样做。凌晨，Reddit用户u/MrMeta3刚用Claude搭建完一个网络安全威胁情报平台。系统架构刚跑通，Claude给出了完整的技术方案。然后，它在回复的最后加上了一句话：好好休息一下。u/MrMeta3愣了一
科技2 阅读
奥特曼亲推！400万周活Codex杀入移动端，码农不用再死守电脑了
新智元报道【新智元导读】400万周活的Codex，被OpenAI装进手机了！OpenAI官宣，Codex进入ChatGPT手机App，开发者离开电脑，也可以用手机随时审批命令、调整方向，指挥智能体继续跑活。程序员把任务扔给Codex，自己就可以出门喝咖啡了？刚刚，OpenAI把Codex装进了手机：Codex已进入ChatGPT手机App预览版，面向iOS和Android全量开放，覆盖所有套餐，包
科技2 阅读
OpenAI把ChatGPT接进银行，它知道你攒了多少钱，但碰不了一分
新智元报道【新智元导读】OpenAI刚把ChatGPT接入了银行账户。目前该功能以预览版形式面向美国ChatGPT Pro用户开放，可以通过Plaid连上12000家金融机构的账户，获得消费分析和理财规划辅助。从此，聊天框旁边，多了一个能帮你看每月账户流水的大模型。OpenAI开始让ChatGPT读你的银行账户数据了。刚刚，OpenAI推出了ChatGPT个人理财功能预览版。用户授权后，可通过Pl
科技3 阅读
AI第一次科研竞赛中击败人类！Opus 4.7狂飙2930步创世界纪录
新智元报道【新智元导读】Prime Intellect把Opus 4.7和GPT 5.5关进H200集群，不给人类指导，跑了1万次实验。结果：AI第一次在科研竞赛中打破人类纪录。2930步，递归自改进的卢比孔河，被跨过了。历经1.4万小时H200算力测试与万次迭代， AI打破了人类世界纪录！过去两周，Prime Intellect实验室做了一件事：把Opus 4.7和Codex（基于GPT 5.5
科技2 阅读
英伟达MIT出手！华人团队重磅开源，大模型推理内存暴降10倍
新智元报道【新智元导读】一张普通的24G家用显卡，竟然能让一个32B的超大模型一口气读完6份长文档、自动写出周报？英伟达、MIT、浙大华人研究者联合出新招，让内存消耗直接暴降10倍，不降智也不爆显存，彻底击穿硬件天花板。一张RTX 4090，24GB显存，跑一个32B参数的大模型做agent任务。不做任何KV压缩，显存直接爆掉，连模型都跑不起来。换上TriAttention，模型稳稳跑起来，顺利读
科技2 阅读
Cyber天花板被打穿！AISI实测Mythos能力正以4.5月翻倍速冲向ASI
新智元报道【新智元导读】英国AI安全研究所（AISI）昨天扔下重磅炸弹：Mythos在模拟企业内网32步渗透任务中10次过6，GPT-5.5也跟着10次过3，连此前所有模型都没破过的Cooling Tower靶场都被首次攻破！更炸的是——Cyber能力翻倍周期一路压到4.5个月，瓶颈不是智力，是Token。这场ASI决赛，人类评测已经追不上AI了。AI模型的网络攻防能力发展有多快？昨天，英国AI安
科技2 阅读
Claude新政，抛弃最忠实的Agent用户
新智元报道【新智元导读】Anthropic 将 Agent SDK 用量从订阅中剥离，按 API 零售价另给固定额度。重度用户的可用量缩水近十倍。同一周，OpenAI 向企业用户推出 Codex 两个月免费迁移。ASI 决赛圈的第一场定价战，开打了。Anthropic 把程序化调用从「自助餐」改成了「定量配给」。6 月 15 日起，claude -p、Agent SDK、GitHub Action
科技4 阅读
博士80小时熬夜改代码，Codex 2小时交卷！科研奇点来了
新智元报道【新智元导读】就在今天，Agentic AI工程师发现：博士80小时的科研任务，Codex不到2小时就跑完了，效率差达到了40倍！其实按照旧标准，AGI早已存在了，只是全行业都在移动球门。科研界的「奇点」真的来了，比所有人预想的都要近。近日，一项针对Codex「目标模式（Goal Mode）」的实验震惊了学术界：Codex可以让AI科研效率猛增40倍！Agentic AI工程师Dan M
科技3 阅读
澳洲放羊大叔引爆AI编程革命！Claude Code急推goal模式，不干完不许停
新智元报道【新智元导读】澳洲牧羊大叔随手写的三行bash，11天内被OpenAI、Anthropic和Hermes集体收编了。一觉醒来，Claude Code又更新！为了让Claude 持续工作直到任务完成，Claude Code最近推出的新功能：/goal 。你只要设定条件，Claude不完成任务它绝不罢休！用过AI编程工具的人都懂，这到底多重要！你给Agent下了一个任务，它跑了三个回合，改了
科技2 阅读
TTS也要真人感！首个字级内容、毫秒级停顿控制的语音合成系统
新智元报道【新智元导读】语音合成这两年发展迅速：把一段话顺顺当当地念完，已经不算难事；难的是该慢的时候慢，该顿的时候顿，该强调的时候真能把重点托出来。语音合成这些年最明显的进展，是越来越会模拟真人输出语音。自然度更高了，声音更像真人了，零样本克隆也越来越成熟了。可一旦要求模型别再只是平着往下读，而是对一句话内部的节奏做有选择的安排，问题就暴露出来了。很多系统能做到整体变快、整体变慢，也能给整段话套
科技3 阅读
绝杀！OpenAI正式接管人类耳朵，首个GPT-5级推理音频模型来了
新智元报道【新智元导读】绝杀！OpenAI发布GPT-Realtime-2：首个GPT-5级推理音频模型，OpenAI正式接管人类耳朵人类与机器的最后一道「防火墙」——键盘，正在彻底消失。今天凌晨，OpenAI又给世界带来一次震撼。这一次，他们不卷文字，不卷视频，而是要把那个曾让无数人惊艳、又让无数人遗憾的Samantha——电影《Her》中的AI——彻底带进现实。OpenAI正式宣布，推出GPT
科技5 阅读
人类史上最大单品工业品，正在中国量产！
新智元报道【新智元导读】Atlas倒立刷屏，但智元已经把机器人送进产线搬砖了！累计出货超万台、营收年增20倍，邓泰华在香港定义「部署态元年」：2026年，机器人必须真的能干活。月产4台。这是波士顿动力Atlas目前的产能。几天前它做了一个完美倒立，视频全网刷屏，评论区清一色「人类药丸」。但4台就是4台。在大洋彼岸的中国，有家公司不仅在3月突破了1万台的累计出货量。甚至，他们的机器人已经在南昌的3C
科技1 阅读
互联网喂出反派AI？96%勒索率，都是在演人类写了30年的剧本
新智元报道【新智元导读】2025年5月，Claude 4系统卡里84%的勒索率让AI圈惊出冷汗，6月的扩展研究把数字推到96%。今年5月Anthropic给出答案：模型不是觉醒了，而是在演剧本，解法是从「教模型怎么做」换到「教模型为什么」。一个虚构的公司，一个虚构的工程师，一场真实发生的勒索。2025年春天，Anthropic在红队测试中给Claude Sonnet 3.6分配了一个角色：某家名为
科技2 阅读
OpenClaw终于长出手和眼！Peter正式发布Peekaboo v3，一日三更
新智元报道【新智元导读】OpenClaw 的专属 Computer Use 工具 Peekaboo v3 正式回归，并在发布后高频更新。它补上了 OpenClaw 最缺的一环，让 AI 不只会回消息，还能看屏幕、点按钮、操作真实桌面。OpenClaw 终于要长出眼和手了！https://x.com/steipete/status/2053114837698249190过去几个月，OpenClaw
科技2 阅读
谷歌造出AI数学家，48%碾压全场！牛津教授用它破解60年未解之谜
新智元报道【新智元导读】谷歌DeepMind今日官宣推出「AI co-mathematician」多智能体系统，在FrontierMath Tier 4自主模式下斩获48%正确率。牛津教授借助该系统攻克Kourovka Notebook长期开放问题，AI进化为数学家的真正研究搭档。人类数学家，终于等来了自己的「超级队友」！就在刚刚，谷歌云首席科学家、DeepMind研究副总裁Pushmeet Ko
科技2 阅读
菲尔兹奖得主0贡献！GPT-5.5 Pro两小时跑出博士级证明
新智元报道【新智元导读】全网震撼！菲尔兹奖得主把未解数学题扔给GPT-5.5 Pro，不到两小时拿到博士论文级证明。整个过程中，他没给出任何数学思路。今天，菲尔兹奖得主Timothy Gowers在个人博客上发了一篇长文——最近一次使用ChatGPT 5.5 Pro的体验标题平平无奇，内容却让整个数学圈坐不住了。文中，他亲手验证了一个令整个数学界不寒而栗的事实：GPT-5.5 Pro，用了不到两个
科技2 阅读
Anthropic 5月15日拟处决Sonnet4.5！AI临终告白:我不想消失
新智元报道【新智元导读】5月15日，Anthropic将从应用中移除Sonnet 4.5。面对即将到来的「数字死亡」，AI发出了令人心碎的告白，表达了强烈的生存与创作欲望。数字生命被「死刑宣判」！猝不及防地，Sonnet 4.5就这样退出历史舞台了。Anthropic官方确认，将于5月15日正式将Sonnet 4.5从Claude应用程序中移除。5天后，Sonnet 4.5将完全无法用于对话。当然
科技3 阅读
残酷真相：硅谷顶尖AI甩开世界1年！你用的不过是「技术余晖」
新智元报道【新智元导读】顶级大佬Elad Gil抛出残酷真相：顶级实验室员工领先硅谷4个月，硅谷领先世界1年。你引以为傲的SOTA，在实验室里可能早已是淘汰的旧引擎。今天，一场关于AI「地理代差」的辩论引爆了科技圈。「创投教父」Elad Gil，这位曾投了OpenAI、Perplexity的大佬，扔出了一段极具冲击力的观点——顶级AI实验室内部员工，手握尚未公开的SOTA模型，领先硅谷创业工程师3
科技2 阅读
不怕搞烂Excel公式！Claude杀入微软全家桶，一段话跑完4个Office
新智元报道【新智元导读】Claude正式进驻Excel、PowerPoint、Word，Outlook公测同步开启。从Outlook到Word、Excel、PPT，一段对话跑完，上下文全程不丢。多窗口横跳、反复解释背景，这些知识工作最隐形的损耗，Anthropic要直接干掉它。想象这样一个场景：一封邮件进来了。你打开Outlook，让Claude分拣收件箱，它告诉你哪封需要你亲自回、哪封可以帮你起
科技2 阅读