AI 改代码，谁来验收？拆解 Manus 的 AI Native 开发机制
一、场景：一句需求要过几道手领导在工作群里来一句「这个导出功能改一下」，按过去的开发链路，这句话要走过：确认需求 → 前端定交互 → 后端对接口 → 联调改字段 → 推测试环境等 5 ～ 10 分钟 → 复测 → 找有权限的人发版。
在变化中把握计算语言学研究核心
从各类搜索引擎到震撼国际围棋界的AlphaGo（阿尔法狗），计算语言学的身影在现代社会几乎无处不在。计算语言学是语言学、心理学、数学和计算机科学等多学科相互渗透的一门交叉学科，与其相关的各项应用技术已成为互联网技术的重要支柱。
大数据推进计算语言学研究
中国中文信息学会（CIPS）主办的全国“第十四届计算语言学会议”于2015年11月13—14日在广东外语外贸大学举行。“第三届基于自然标注大数据的自然语言处理国际学术研讨会”也同时举行，关注大数据时代自然语言处理的前沿方法和技术。
马克·麦卡锡：机器学习算法中的政治
公元前1200年左右，殷商时期的中国就发展出了工厂制，铸造出成千上万尊大型青铜器皿供日常生活和典礼仪式使用。
顾险峰：人工智能中的联结主义和符号主义
由人工神经网络生成的Inceptionist图像文｜顾险峰（纽约州立大学石溪分校计算机系终身教授）● ● ●最近，谷歌AlphaGo败了围棋九段李世石，举世震惊。有为人工智能的发展欢呼雀跃者，有为人类前途命运忧心忡忡者，有对机器蛮力不屑一顾者，有对人类失去优越感而沮丧彷徨者。
DFT原始计算文件如何整理，才能有效支撑SCI投稿审稿问询
摘要： 许多科研团队在完成DFT计算后只保留最终图表，忽视原始计算文件的系统归档，导致审稿人要求补充收敛证据或可复现参数时陷入被动。本文提出按“输入—过程—输出—分析”四个维度建立结构化文件归档体系，使原始计算文件既能在审稿阶段作为硬核证据，也能成为后续延伸研究的数据资产。
AI 攻克 18 年量子计算核心猜想！Anthropic 模型 3 天产出形式化证明
据 Business Insider 消息，物理超智能实验室（PSI）借助一款尚未公开的 Anthropic 大模型，仅用 3 天完成量子计算领域知名的阿伦森 — 安拜尼斯猜想证明，整套证明已通过 Lean 数学形式化证明工具校验，该消息于 2026 年 11 月 8 日由凤凰网
数据合规项目的歧义免疫法
一、引言：歧义会"传染"，复盘不是终点本系列已写到第 14 篇。
【专家视角】香港大学张彤团队Nat. Commun.｜高通量单细胞基因组的污染控制与宿主–可移动遗传元件关联解析
该研究开发了一套面向高通量微生物单细胞基因组数据的计算分析框架Scellmate，通过整合污染识别、分类学鉴定、监督共组装及宿主–可移动遗传元件关联分析，实现了复杂环境中大规模单细胞基因组数据的系统性质量控制与生物学解析。
如果能加入这个协会，做梦也会笑醒 | 语言学午餐
不得不承认，现在很多学科，一旦和 “计算” “网络” “大数据” 扯上关系，瞬间就变得高大上起来，比如 数学 vs. 计算数学，统计 vs. 数据挖掘，生物 vs. 计算生物等等。