「数学2.0」共找到 2818 篇相关文章
腾讯悄悄出了个插件版“Cursor”，还跟微信小程序打通了。
腾讯云发布代码助手CodeBuddy 3.0，它是插件而非IDE产品，可在多代码产品安装。其亮点是打通微信开发，能直出小程序。作者体验后用它半小时做出小程序，期待腾讯AI生态发展。
刚刚，Ilya又发神图「思考者」！AI芯片海洋上在想啥？
AI圈神秘领袖Ilya在Instagram上传画，画面是「思考者」踩在芯片Die Shot上，引发全网解读。同一时间，OpenAI公布数学成果、升级Codex，还传准备秘密提交IPO招股文件，引发新一轮狂欢。
硅谷亲手砸掉自己饭碗？930万岗位正进入AI风险区
Tufts大学发布全美首个「AI就业风险指数」，显示未来2 - 5年，美国约930万个岗位面临被AI替代风险，硅谷等科技重镇首当其冲。高技能、知识密集型职业风险高，而低薪职业相对安全。
陶哲轩震撼！数学家1975年埋下的「坑」，被AI和全球网友用48小时填平了
2025年12月，困扰数学界50年的Erdos#1026问题被攻克。陶哲轩宣布，在AI辅助下人类团队仅用48小时就完成证明。传统方法可能需数周甚至数月，AI带来全新理解，生成了新数学洞见。
这事你还没注意呢，巨无霸已经完成“反超时刻”
过去 GPT 在 AI 领域一枝独秀，大家认为二三名与它有代际差距。但 Google 的 Gemini 2.5 Flash Image 发布后，其生图速度和质量提升，解决“连续性”问题，带来自然交互体验，标志 AI 进入新阶段。
印裔1号位删 Karpathy 团队90%代码、算力暴涨 50 倍！马斯克 Robotaxi 10年终上线，30 元乘车体验刷屏
当地时间6月22日，特斯拉在奥斯汀启动Robotaxi试点服务，仅受邀用户参与。其技术基于FSD 13.2.9微调，团队精简90%代码，算力强大。虽面临竞争，但马斯克看好其发展，认为2026年或现超级智能。
AI编程到底有没有护城河？RL+Agent重塑代码世界！
作者作为cursor重度用户和算法出身玩家，分享AI编程赛道技术内幕。探讨AI编程视角下RL的难题，介绍AI编程体验进化要素，还聊了cursor 1.0更新，最后指出AI编程工具发展趋势。
All In AI的Google I/O 2025还开源了一系列模型，冲~
谷歌CEO称Google IO 2025上，数十年AI研究成果已成为现实。大会亮点多与AI相关，如Gemini 2.5系列模型表现出色，还有Veo 3等。此外，还开源了medgemma、gemma - 3n等模型。
Anthropic发布Managed Agents，才发现这支硅谷华人团队早就押对了赌注
今早Anthropic发布Managed Agents，强调‘Agent Harness’概念。CREAO由硅谷华人团队打造，作为全球首个面向普通用户的AI Agent Harness，0门槛、高稳定，解决诸多问题，具独家能力，获多轮融资。
谷歌给「AI解数学题」神话降温：能摘低垂果实，但过程依然痛苦
谷歌用Gemini对700个Erdős猜想做攻关实验，推进13个问题。但他们指出，这并不意味着AI能自动做数学研究，其背后核验等成本远超想象，还需警惕‘潜意识抄袭’。