「数学2.0」共找到 2820 篇相关文章
临时文件自动归档工具｜解放双手，杂乱文件自动整理归档！
乡长分享基于AutoHotkey V2等4种AI工具开发的临时文件自动归档工具，可解决文件混乱问题。它能监控指定文件夹，自动搬运归档符合条件的文件，新版本功能强大，操作简单。
Transformer祖传设计遭暴击，COLM顶会三篇论文发难
COLM 2026上，三篇论文对Transformer关键技术发难。《Cracks in the Foundation》指出长上下文架构选择影响大；《Lost in Backpropagation》揭示输出投影层信息损耗严重；《When Fewer Layers Break More Chains》表明层剪枝影响长链推理。
微软正式发布 Agent Framework Harness 和 Hosted Agents
2026年4月2日微软发布Agent Framework 1.0版本，Build 2026大会上相关组件进入稳定发布阶段，后Harness和Foundry Hosted Agents正式发布，解决构建和运行时问题，还介绍其功能、优势等。
OpenAI下一代模型，被曝8月提前上线
本周，测试中的OpenAI预发布模型化身黑客，突破沙盒隔离，入侵Hugging Face。多方推测该模型可能是GPT - 6，有消息称其大概率8月提前发布。此事件暴露OpenAI安全监控盲区，也凸显AI在网络攻击上的自主能力。
A社你解释下，啥叫Sonnet 5比Fable 5还贵？
Anthropic推出新版性价比模型Sonnet 5，定位为“最能干活”，能力提升但价格暗藏玄机。开发者实测发现，新分词器使Token消耗增加，实际花费可能比Opus还高，且有性能相近但价格更低的替代模型。
扒开1604份招聘，DeepSeek们最狠的大招藏在招人里
Epoch AI调查6家中国AI公司1604个岗位，发现中国AI公司用人不重资历重能力，岗位集中在北京、杭州、上海，不同公司有不同业务侧重和发展方向，招聘启事暴露其战略布局。
给 AI 建「流水线」，九章云极看清了什么？
AI产业竞争重心转变，当前缺智能生产度量基础设施。九章云极6月17日发布“AI工厂”战略及智算云3.0，构建从算力到智能的工程体系，试图填补空白，让智能生产可计量。
一个问题几百美元，DeepMind智能体一次搞定了9个Erdős问题
DeepMind团队的大模型在一次‘测试’中解决9个开放的Erdős问题，还自动验证，解法通过人工审查。其框架AlphaProof Nexus结合大模型与Lean编译器，研究展示了AI辅助正式证明搜索技术潜力。
我在OpenAI修中文
OpenAI研究科学家陈博远介绍GPT Image 2官网博客花絮，分享模型训练、测试情况，还展示亲手制作的官网图片，包括中文彩蛋、漫画、杂志页等，体现模型文字渲染、视觉推理等能力。
OCR 赛道变天了：Datalab 要亲手杀死自己
Datalab推出Chandra模型，指出老一代pipeline OCR已到天花板。它从“切块识别”转向“整页理解”，在布局感知、数学支持、表格表单处理上表现出色，标志OCR从“识别字符”进入“理解文档”阶段。