科学与数学：最新 AI 新闻
科学与数学中的 AI：证明、发现与论文，链接到研究原文。
- 11月2日 《自然》子刊论文：深度学习模型可从普通视网膜照片推断死亡风险和寿命轨迹
- 11月2日 KAIST 的 CluSTER 数据筛选技术仅用约 31% 数据，将大模型微调时间最多缩短 69.6%
- 11月1日 英国数学家在皇家学会集会，警告 AI 实验室可能把前沿数学成果锁在付费墙后
- 11月1日 UNIST 方法训练小型大模型智能体推断隐藏身份，狼人杀胜率从 41.6% 提升至 65.6%
- 10月31日 Balestriero 与 LeCun 证明以“好视角”训练的 JEPA 学到的表征在旋转意义下相同
- 10月31日 研究者提出“广义信念状态”，用于解码和操控序列模型的内部表征
- 10月31日 世界顶尖科学家论坛在上海开幕；Daubechies 获 WLF 数学奖，Lafforgue 称大模型已解决部分未解难题
- 10月31日 北京大学团队将 DFT 软件 ABACUS 移植至华为鲲鹏 920，报告最高 10.7 倍加速
- 10月30日 Epoch AI 发现 17% 的 bioRxiv 生物学预印本声明使用大语言模型，接近专用 AI 工具的 19%
- 10月30日 OpenAI 将于 2027 年 1 月 1 日关闭面向科研人员的 AI LaTeX 工作区 Prism
- 10月30日 SETI 研究所与 Breakthrough Listen 让 AI 智能体操控艾伦望远镜阵列并实时处理数据
- 10月30日 预印本以单一基于似然的训练算法统一预训练、微调和强化学习
- 10月30日 远景 Tianji 模型以 Arcana 队名参赛，在 ECMWF AI Weather Quest 第 19 至 25 天预报中排名第一
- 10月30日 AI 分析 9800 万次蝙蝠叫声，促成英国规模最大的林地蝙蝠调查
- 10月30日 协作AI智能体自选课题、推导结果并在金刚石量子自旋上进行实验验证
- 10月30日 研究发现前沿GPT模型为随机抽取的200个开放猜想中约60%给出候选解答
- 10月30日 Ramanujan Challenge结果分析：一份提交证明了其公布的一个数论开放猜想
- 10月30日 Balestriero 与 LeCun 证明在不同模态上训练的 JEPA 学到的表征仅差一个旋转
- 10月29日 YC Labs 让 50 个 GPT-6.1 Sol 智能体在 Minecraft 中运行 3 小时，它们建立起配给官僚体系
- 10月29日 预印本证明范德瓦尔登数 w(2;3,21) 等于 416，证明经 Lean 4 内核检验
- 10月29日 The Biological Computing Co. 发布 Mischief 1：用源自实验室培养神经元的适配器调校的视频模型
- 10月28日 Anthropic 将 AI for Science 计划扩展至 20 家基金会和研究机构
- 10月27日 Axiom 称 AI 智能体用 24 天在 Lean 中形式化了有限单群分类定理
- 10月27日 Anthropic 发布论文，声称给出 3-SAT 的亚指数时间算法并附 Lean 4 形式化证明
- 10月26日 研究人员开始核查OpenAI和Anthropic关于AI推翻指数时间假设的说法
- 10月23日 Physical Superintelligence 发布 AI 辅助的五个开放量子问题成果，附 Lean 证明
- 10月21日 约 2,000 个 GPT-Rosalind 智能体 32 分钟分析全脑 CRISPR 图谱
- 10月19日 英伟达与华盛顿大学蛋白质设计研究所发布开放蛋白设计模型 RFD4-Proteina
- 10月19日 Quantinuum 在 Helios 上实现 99.9995% 逻辑保真度，纠错提升十倍
- 10月16日 猴脑记录显示，大脑每秒约 15 次在被感知与被抑制的图像之间切换
- 10月15日 谷歌在 Willow 上演示魔术态培育，逻辑错误降低约 40 倍
- 10月11日 DeepMind 的 AlphaProof Nexus 以 Lean 证明解决 9 个 Erdős 问题，其中两个悬置超过 50 年
- 10月10日 OpenAI 公开由未发布内部模型生成的 722 篇数学手稿
- 10月6日 Alman 与 Vassilevska Williams 发布真正次二次的 3SUM 与次三次的 APSP 算法