「位置去偏」共找到 303 篇相关文章
顶尖数学家含泪退圈：熬了多年的博士难题，被AI几周秒杀！
顶尖数学学者Rishikesh Gajjala靠AI攻破博士课题，却宣布退出学术圈。他认为AI生成证明虽精巧但难验证，“漂亮证明未验证和垃圾无异”。他投身形式化验证领域，而AxiomProver完成“246定理”形式化验证。
Clawdbot 教程 01：模型的配置和切换
作者分享 Clawdbot 模型配置和切换教程，指出配置核心问题是命令行配置与 URL 修正，可用 openclaw configure 命令，不行则手动改配置文件，还介绍模型切换、避免 no output 问题等方法。
毛利率53%！光刻机之王的AI红利
4月15日阿斯麦发布2026年第一季度财报，净销售额、毛利率、净利润均超预期。管理层上调全年业绩指引，其因订单饱满、AI驱动、技术独供等持续领先，还计划提升产量。
Google开源Workspace CLI，让AI在终端操作办公全家桶
Google开源Workspace CLI项目，把全套办公工具装进命令行。它动态构建命令结构，输出为结构化JSON。内置超100个Agent Skills，支持多MCP客户端，认证灵活，还集成Gemini CLI扩展。
忍无可忍，LeCun离职！Meta市值应声蒸发1400亿
金融时报消息，LeCun向同事透露离职Meta计划，下一步打算创业。消息致Meta市值盘前蒸发1400多亿人民币。LeCun受尽挤兑，与Meta有路线分歧，其离开标志Meta‘学院派’研究黄金时代结束。
谷歌 DeepMind 推出 CodeMender：自动修复代码的智能代理
谷歌DeepMind推出CodeMender，这一AI驱动的智能代理能自动检测、修复并加固软件漏洞。它结合多种技术推理程序行为，生成修复方案经自动测试和人工审核后提交。社区反响积极，长期影响待察。
1.9K Star！给 DeepSeek Harness 装上侧边工作台，文件、终端、Git、浏览器、插件一屏搞定！
DeepSeek Harness 是 AI Agent 运行框架，自由度高但默认 Web UI 操作不便。社区插件 DSH - better - sidebar 迅速出圈，装了侧边工作台，整合多样工具，更新勤，适合折腾 DSH 的人。
一个App管好所有Agent技能，Chops来了
Chops是一款macOS应用，能自动发现所有AI coding agent的技能文件，支持Claude Code、Cursor等工具。功能丰富，技术栈纯粹，需macOS 15 Sequoia及以上，下载地址和文档在GitHub。
AI 会取代你的工作吗？Anthropic 用 200 万对话告诉你答案
Anthropic发布Economic Index第四期报告，分析200万次Claude对话，提出“经济原语”框架。发现AI对高学历任务加速效果更好但成功率低，还揭示Claude.ai与API差异，引入“有效AI覆盖率”等。
763亿港元，大模型公司最大规模IPO！MiniMax登陆港交所，开盘前大涨50%
MiniMax正式在港交所主板挂牌上市，股票代码“00100”。此次全球发售约3358万股，募资约55.4亿港元。市场认购热烈，早盘一度涨幅超50%，市值突破763亿港元。其技术多模态齐发，组织高效，为行业提供新样本。