「AI赋能数学计划」共找到 10084 篇相关文章
10倍加速化学推理大模型！Haven团队在隐空间思考分子式，碾压显示CoT
Haven团队提出LatentChem，把化学推理从‘文本表面’挪到‘模型内部’，先在隐空间思考，再在语言空间回答。它拆分‘推理’与‘表达’，性能优异，为AI Scientist奠定基础。
深度｜Karpathy为何突然加入Anthropic，只能当Dario的「-2」？
5月19日，OpenAI联合创始人Andrej Karpathy宣布加入Anthropic预训练团队。他将组建新团队，用Claude加速预训练研究。文章分析了他加入的原因，以及Anthropic招聘他的动机，还指出这一变动标记着技术拐点。
Jev 的「百亿补贴」迷局：既然「极省」为何还要狂送 1.2 亿 Token？
主打省Token的AI模型Jev，近日大手笔向用户发放1.2亿Token额度，本文深入分析这一反常操作背后的商业布局，拆解其抢占Agent小决策判断节点的底层逻辑。
Codex最被忽略的功能
Codex的侧边栏功能常被忽略，但实用性超强。侧边栏有文件、浏览器、终端三个选项，可配合Codex使用，让其成为工作系统一部分，将AI从聊天框推近工作现场。
一文总结飞书新品发布会 - 向Agent平台的跃迁。
飞书新品发布会对AI助手aliy和飞书妙搭全面迭代，向Agent原生平台迈进。飞书aily成常驻联系人的Agent，妙搭底层升级为Code Agent，还有多维表格Agent等新功能，提升工作效率。
手机上同步用 Claude Code 和 Codex，666啊~
开发者常遇AI编程任务运行时需离开电脑的困扰。开源项目`Happy`是Claude Code和Codex的移动端及Web客户端解决方案，有跨端控制、实时同步等功能，助开发者随时随地管理会话。
刚刚，Yann LeCun官宣离职创业，瞄准高级机器智能AMI
图灵奖得主Yann LeCun宣布离职Meta创业，新公司聚焦高级机器智能（AMI），继续其“世界模型”研究。他是LLM批评者，认为其无法理解物理世界，新公司目标推动AI重大革命。
突发！Reddit起诉Anthropic，非法访问10万次
华尔街日报消息，Reddit起诉大模型平台Anthropic，指控其非法访问网站10万次，用用户数据训练AI。Reddit称已和OpenAI、谷歌达成合规合作，此次起诉为求赔偿并让Anthropic履约。
Meta 开源 Pyrefly，Rust 中的高性能 Python 类型检查器
Meta 开源处于 alpha 阶段的 Pyrefly，它是用 Rust 编写的高性能 Python 类型检查器，灵感源于 Pyre 等工具，旨在取代 Instagram 代码库的 Pyre。它性能出色，还计划今年夏天进 beta 阶段。
英伟达发布统一GPU开发平台DGX Cloud Lepton
英伟达发布专为开发者设计的AI平台DGX Cloud Lepton，可汇聚全球GPU计算资源，提供即时访问和无缝部署能力。它功能强大，支持多环境部署，提供统一体验，还有庞大合作网络。