排序
数学家反对AI滥用后,知识基础设施竞争开始重估可信边界
数学家起草宣言反对 AI 滥用,Papers with Code 回归、LITMUS 执行幻觉评测和 Linux 社区争议同步出现,AI 正在把知识基础设施推向可信边界竞争。
MIRA递归智能体刷新材料模型,AI科研从辅助分析走向自动造底座
MIRA 平台与 MPA 材料基座模型刷新实验性质预测任务,DataMaster、医疗 AI 和生命科学创业同步升温,AI 正从内容工具走向科研与产业研发系统。
GPT-5.6泄露与AlphaProof突破同场出现,AI竞争正在进入长上下文和可验证推理阶段
GPT-5.6 泄露、AlphaProof Nexus 数学突破、Claude 记忆与端侧模型同场升温,AI 竞争正在从模型榜单转向长上下文、可验证推理、设备入口和真实工作流。
Gemini杀入科研现场,AI竞争从聊天框走向实验室和业务系统
谷歌 Gemini for Science、GPT-5.5 自动改造 AlphaFold2、苹果系统级无障碍 AI 与 Skill 生态同步推进,AI 正从聊天框进入科研实验室、企业系统和内容平台。







