「数学编程」共找到 1383 篇相关文章
微软 CTO 在 Rust Nation UK 大会上详解成功经验、挑战及对 Rust 编程语言的承诺
微软Azure首席技术官Mark Russinovich在Rust Nation UK大会探讨推动Rust采用的因素，展示微软产品中Rust应用成果，介绍用生成式AI加速C/C++向Rust迁移的努力，还提及开发者反馈及微软对Rust的承诺。
4个MIT的00后，两年干出全球最火AI编程工具，600亿美元卖给了SpaceX
今年1月，Cursor CEO Michael Truell决定训练自有模型，不再依赖Anthropic的Claude。5个月后，SpaceX以600亿美元收购Cursor母公司。此前Cursor增长快但依赖Claude，自研模型有成本优势却缺算力。
OpenClaw安全有救了！不改内核、无视AI内部逻辑，数学级枷锁驯服暴走智能体
OpenClaw等智能体能力强大但有安全黑洞，南方科技大学和香港科技大学团队推出ClawLess框架，从底层系统调用源头扼杀智能体出格行为，通过形式化验证、物理隔离、动态验证等手段保障安全。
2.1K Star！这个 Claude Skills 技能库，给 AI 编程助手装上了 66 颗专家大脑！
GitHub上的开源项目claude - skills迅速走红，斩获2.1K Star。它是全能技能注入包，内置66种专业技能，覆盖12个领域，有300多份深度参考文档，具备上下文感知能力，还整合9套工作流，安装方式多样。
编程超越 Gemini 3 Pro？GLM-5 性能实测对齐 Opus 4.6，智谱市值突破1700亿港元
临近春节，智谱AI发布最新旗舰大模型GLM-5，其代码和智能体能力表现出色，在多方面逼近Claude Opus 4.5，性能超Gemini 3 Pro。该模型已开源，依托国产芯片部署，不过受算力限制，将逐步向用户开放。
2026 奇点智能技术大会上海站来袭，解码AI Agent、世界模型与氛围编程等新范式
2026奇点智能技术大会·上海站4月17 - 18日召开。AI正成变革性力量，此次大会升级聚焦AI规模化落地，设十二大专题，有多位出品人与演讲嘉宾带来实践经验与技术洞察，还开放合作与分享者申请。
GPT-5 Pro独立做数学研究！读论文后给出更精确边界，OpenAI总裁：这是生命迹象
OpenAI研究人员喂给GPT - 5 Pro一篇凸优化问题论文，它读完给出更精确边界及证明。虽成果被人类论文反超，但思路不同，显示其有独立探索能力，OpenAI总裁称这是“生命迹象”。
深夜突袭！谷歌Gemini 2.5 Pro更新蝉联榜一：推理超越o3，编程超越opus4
深夜谷歌对Gemini 2.5 Pro模型重大更新，在编码、推理等测试中超越o3，几周内成稳定版。其价格优势大，还增加思考预算，输出风格和结构改进，用户实测反馈佳，但发布不久被越狱攻击。
Cursor 1.0首个大版本来袭！自动捉bug，秒改屎山代码，AI编程分水岭已至
Cursor 1.0正式发布，推出多项重磅功能。如BugBot自动揪出代码漏洞，后台智能体全员开放，还能深度集成Jupyter Notebook，AI可记住开发习惯等，重新定义「高效编码」。
JetBrains放弃Fleet：急刹变道打造全新Agentic IDE，与VS Code、Cursor争夺下一代AI编程王座
本周，JetBrains 宣布停止开发 IDE 产品 Fleet，将精力投入新开发环境 Air。Fleet 自 2021 年推出一直处预览阶段，难取代 IntelliJ IDEA。公司称维持两条产品线易致用户困惑、分散精力。