「全脑活动」共找到 2059 篇相关文章
Anthropic 自曝：内部是如何使用 AI 的
Anthropic发布报告，调查132名工程师、进行53场访谈并分析20万条Claude Code使用记录，探究AI对自身工作的改变。发现生产力提升、专业边界模糊，但也引发技能退化、同事互动减少等担忧。
陶哲轩说：AI 辅助数学证明，已经成了日常操作
世界顶级数学家陶哲轩解决 Erdős 经典问题时，全流程用 AI 做助手，从证明草案到简化证明，再到形式化验证。整个流程为人类提出猜想、AI 暴力证明、人类简化优化、AI 辅助形式化验证。
通用的dLLM开发框架，让BERT掌握扩散式对话
扩散式语言模型（DLM）因缺乏易用框架和训练成本高受限。伯克利与UIUC团队基于dLLM框架，让BERT学会对话，证明‘离散扩散 + 轻量级指令微调’可赋予BERT强生成能力，还开源全流程代码。
大厂CIO独家分享：AI如何重塑开发者未来十年
阿里云智能集团副总裁、CIO 蒋林泉分享 AI 时代开发者竞争力构建。探讨技术贡献衡量、全栈工程师发展、产研与业务提效顺序、知识协作及大厂招人要求等，指出 AI 助发现并解决软件工程问题。
狙击Gemini 3！OpenAI发布GPT-5.1-Codex-Max
Gemini 3力压全场，OpenAI发布GPT-5.1-Codex-Max应对。它突破上下文窗口限制，能连续工作超24小时，在METR达新SOTA，推理更快，还推出xhigh推理力度选项，已支持与多种工具结合。
OpenAI推出GPT-5.1小小小小更新！！！
OpenAI推出GPT-5.1，本周向用户陆续推送，付费用户先行。它有两大核心模型，在遵循指令、推理回复及聊天体验上更佳。还有AMA问答活动披露更多细节，此外官方让自定义ChatGPT风格更易。
安谋科技Arm China闪耀2025全球计算大会｜赋能绿色算力，加速AI普惠
安谋科技Arm China受邀出席2025全球计算大会，参与多项活动。深度参与撰写《算力经济绿色研究发展报告》，推进本地化标准建设，还在具身智能领域发力，其“周易”NPU IP将助力具身智能落地。
小白必读：到底什么是FP32、FP16、INT8？
文章介绍FP32、FP16、INT8等数字存储格式类型。指出它们是评估算力前提，不同格式在精度、范围、内存占用和计算速度上有差异，还提及多精度与混合精度计算，以及不同硬件对格式的支持情况。
OpenAI以为GPT-5搞出了数学大新闻，结果…哈萨比斯都觉得尴尬
OpenAI研究员宣称GPT - 5找到10个厄尔多斯数学难题解法，引发全网震动。但DeepMind CEO哈萨比斯指出是营销过度，GPT - 5只是搜到已有答案。OpenAI已删稿，此前GPT - 5有一定数学解题能力。
全球第一！我国又一家芯片企业硬核出世
本文介绍了我国氮化镓芯片企业英诺赛科，其创始人骆薇薇回国创业，采用IDM全产业链模式制造8英寸晶圆。公司攻克核心技术，量产8英寸硅基氮化镓芯片，在多领域应用，营收增长，还打赢专利官司走向全球。