数学与科学的黄金时代还是黑暗时代:LLM 证明能力与科研生态的选择
Francesco Maggi 在 Terence Tao 博客客座文章中提出,LLM 已能生成数学证明,如带强迫项的 Navier–Stokes 方程有限时间爆破解构造和准黎曼假设证明提案,但需数学界持续独立审视。
按时间排列的全部内容。默认只显示通过双重评分的入选条目;切换到“全部收录”可以检索所有抓到的资料。
92 条收录动态,更新于 19:57
全部收录包含没有通过评分的资料,标题以常规字体显示并标为“未入选”,只供检索,不写入选理由。
Francesco Maggi 在 Terence Tao 博客客座文章中提出,LLM 已能生成数学证明,如带强迫项的 Navier–Stokes 方程有限时间爆破解构造和准黎曼假设证明提案,但需数学界持续独立审视。
微软研究院于 10 月 12 日发布研究系统 StudentSim,基于公开、去标识化的学习者记录为每位学生训练个性化“AI 学生模拟器”,模拟其独立作答及收到导师讲解后的反应变化。
Ithaka S+R 基于对4003名美国研究者的调查发布报告,指出研究者对AI在研究中的角色存在分歧,但许多人认为披露AI使用是必要的,而监督责任分散在研究共同体各处。
纽约市立大学 Hostos 社区学院英语教授 Anne Lovering Rounds 主张,把文学鉴赏、文学史知识与论文写作混为一谈的英语课程设置,才是 AI 冲击下真正的教学危机。
智元本周发布公告,其“元苼生态发展计划”与首批20多所高校合作共建具身智能产教融合创新实践平台,投入超一千台具身智能设备及AIMA开发平台会员权益,总额达2亿元。首批合作院校包括北京大学、清华大学、浙江大学、上海交通大学等,投入机型覆盖精灵、灵犀、远征系列人形机器人及酷拓四足机器人。智元此前宣布该计划未来五年投入超20亿元专项资金,目前已建联国内外237所科研院校。
MIT 校长 Sally Kornbluth 在 STAT Summit 上表示,联邦科研经费削减 1 亿美元直接导致该校今秋研究生入学人数减少近 500 人,较 2024 年下降 20%。
Anthropic 发布两份报告,一份分析 AI 对内部就业的影响,另一份对比公众与员工的预期差异。过去一年其初级岗位招聘占比下降,到 2026 年 3 月 AI 智能体工作时长超过员工,8 月智能体数量达员工的六倍。调查显示 39% 美国成年人、91% 员工认为 AI 能在 2030 年前做出诺贝尔奖级发现,但仅 5% 美国人预期 AI 能完成自己 80% 的工作。
Anthropic Institute 发布技术报告,基于公司内部的雇佣、AI 使用、产出指标、员工调查、日历和招聘记录数据,辅以 17 名员工访谈,分析 AI 智能体扩散后工作组织的变化。
SciSpace 发布案例研究指南,将其定义为在真实情境中对个人、组织、事件或现象进行深入考察的研究方法,并区分探索性、解释性与描述性三种类型。指南给出六步设计流程,从界定研究问题、选定案例、文献综述与框架搭建,到选择数据收集方法、分析证据和呈现结论。
Anthropic 开放两项新奖学金申请:STEM Fellows(科学与工程)和 Conceptual Reasoning Fellows(哲学、认知科学、经济学、政策与法律),入选者将于 2027 年 1 月起在 Anthropic 工作四个月,帮助 Claude 在这些领域的最难问题上进行良好推理。申请截止日期为 10 月 28 日。
胡佛研究所与斯坦福 HAI 报告指出,AI、生物技术等战略领域依赖无法囤积或出口管制的"人"这一投入,而美国 K-12 数学成绩已低于全球平均,STEM 人才管道"宽而漏"。
美国多所高校正招聘专注 AI 的哲学终身轨教职,Purdue University、University of Illinois at Chicago、Georgia Institute of Technology 等十余个哲学系今秋已发布相关招聘。
MIT 斯隆管理学院教授 Eric So 本月由 W.W. Norton 出版新书《The Collision: What AI Does to Us》,综合学界与业界近期研究,认为过度依赖 AI 可能导致认知萎缩,削弱人们坚持解题、记忆与深度学习的能力。
OpenEvidence 与 Johns Hopkins Medicine 宣布建立战略合作,共同重新构想 AI 时代的医学教育与临床诊疗。合作围绕两大支柱:培养下一代临床医生,以及让患者获得基于最新循证临床指南的诊疗。双方还将开发以人为先的 AI 系统,结合患者病史与 Johns Hopkins Medicine 的既有最佳实践,帮助临床医生更快推理并做出决策。
美国数学学会(AMS)发布了一份基于其近期组织的数学科学研究生教育研讨会的报告。该报告于10月2日发布,由 Terence Tao 在其博客中提及。
Ithaka S+R 公布 2026 年 5 月启动的首期 AI in Action cohort 早期经验,该项目为 20 所学术图书馆提供 AI 落地运营的指导与同行学习支持。
我们在 TutorMoments 上测试了包括 Astra 和 Opus 5.5 在内的前沿模型,该评测用于判断大语言模型是帮助学生自己解决问题,还是替他们做得太多。 总体而言,模型在详细提示下得分更高,而仅被告知“好好辅导”时得分较低。 https://tutormoments.allen.ai/
Microsoft Research 发布研究系统 StudentSim,用于在让学习者试用之前评估和改进 AI 辅导工具。该系统模拟个体与辅导工具的互动方式,并给出反馈以改进辅导表现,覆盖国际象棋、写作和数学等学科。原文链接:https://msft.it/6013aS3JF
微软研究院提出 StudentSim,一个用公开去标识化学习记录训练个性化学生模拟器的研究系统,用于在 AI 导师接触真实学习者之前评估和改进导师。研究同时发布 StudentSimEval 基准,覆盖国际象棋、第二语言英语写作和数学三个领域,从行为保真度和对指导的响应度两个维度评估模拟器。
入选理由微软研究院提出用真实学习记录训练个性化学生模拟器,为 AI 导师在接触真实学习者前提供可扩展的反馈信号。
MIT 统计与数据科学中心主任 Sasha Rakhlin 在一篇新文章中梳理近期讨论,分析 AI 对数学、统计、机器学习与工程领域研究生科研和培养的冲击。他指出,验证速度与可靠性决定 AI 在某一学科的推进节奏,正式化证明可自动检验、程序可运行测试,使模型能生成候选方案并从结果中学习。他建议院系重新界定学术贡献与评价标准,并建设共享 AI 科研基础设施,以保存失败实验与隐性经验。
SciSpace 发布研究指南,区分学术 CV、biosketch 与研究者档案三类文档:学术 CV 全面记录教育、职位、论文、基金、奖项等;biosketch 聚焦与特定项目或基金相关的资格与贡献,强调相关性而非完整性;研究者档案则是在线展示研究身份与成果。指南提醒具体要求因机构、资助方、出版商或平台而异,提交前须核对说明。
Ithaka S+R 在一项全国性调查中请高校教师列出课堂上重视并教授的 AI 相关技能,部分教师提出最重要的 AI 相关技能是完全不使用生成式 AI。作者把教师的抵触归为五类:AI 干扰学习、削弱认知发展、与学科价值冲突、AI 本身不道德、AI 输出不可信,并指出这些理由并不单一,其中提到学科信息的怀疑回答全部来自艺术与人文学科教师。
入选理由调查把教师对 AI 的抵触拆成五类具体理由,高校在制定 AI 教学政策时可据此分辨教师究竟反对什么。
SciSpace 发布《准备一场好的期刊俱乐部讨论:完整指南》,提出从研究问题、研究意义、方法学批判、统计功效到图表解读的准备流程。指南建议用 PICO 框架拆解临床或干预研究,并提醒关注样本量、随机化与盲法、主要与次要结局,以及置信区间和效应量,而非只看 P 值。
Taylor & Francis 为 Dr Jacqueline Harding 的 Developing Little Minds 系列丛书推出基于 Google Gemini Notebook 的免费多媒体资源,含视频与音频概览、闪卡、信息图、术语表、测验及互动聊天功能。
万方数据杯智能体大赛投稿截至2026年10月7日23点59分,之后进入大众评审及专家评审环节,智能体作品仅保存草稿不视为完成投稿,投稿需同步上传说明素材。智能体训练营直播课已完成全部培训,本期回放由武汉大学大数据研究院科技大数据中心副主任于丰畅讲解什么是Skills。
第二届“万方数据杯”智能体大赛投稿将于2026年10月7日23:59截止,作品仅保存草稿不算完成投稿,需同步上传说明素材。智能体训练营第二课于9月29日13:30直播,由万方数据开放平台技术专家讲解评分细则与参赛指引,支持回放,完成两期课程可获电子结业证书。
Microsoft Research Asia – Singapore 作为微软在东南亚的首个研究实验室,成立一年来围绕下一代 AI 模型与智能体系统、领域专用 AI、AI 原生科研实践、生态与人才培养四大方向推进工作。
第二届“万方数据杯”智能体大赛作品投稿将于2026年10月7日23:59截止,目前仍有部分作品未正式投稿发布,仅保存草稿不视为完成投稿。提交发布后,评审技术专家将对智能体进行测试,不通过者将被驳回并通过站内消息反馈建议。智能体训练营第二课于9月29日13:30开课,由万方数据开放平台技术专家讲解评分细则与参赛指引。
SciSpace 发布研究论文入门指南,将其定义为基于证据、围绕一个问题展开的学术写作,可分析已发表文献、报告原始数据或构建论证。指南区分研究论文与随笔、报告及学位论文,并列出议论文、分析性论文、实证论文与综述论文四类。写作部分给出七步流程,从拆解作业要求、选题、检索文献与形成论点,到列提纲、写初稿。
Claude 社区大使 Sean 与 SF AI Science Studio 于 9 月 29 日在旧金山合办 Claude Conversation 沙龙,讨论实验室角色与科学凭证的转变。