数学家 Frank Calegari:OpenAI 发布 700 余篇论文后,数学界应如何自处
OpenAI 于 10 月 6 日发布 700 余篇研究论文,数学家 Frank Calegari 认为这标志着 AI 已能在数学多个领域做出突破性贡献。他指出这些论文写作质量糟糕、违反署名规范,部分甚至有误,但数学家更应把精力放在招聘、发表与培养学生上。他以有限单群分类的历史为例,提醒同行不要因“著名问题被解决”而放弃领域,而应借新工具开拓更深层的问题。
按时间排列的全部内容。默认只显示通过双重评分的入选条目;切换到“全部收录”可以检索所有抓到的资料。
91 条收录动态,更新于 15:37
全部收录包含没有通过评分的资料,标题以常规字体显示并标为“未入选”,只供检索,不写入选理由。
OpenAI 于 10 月 6 日发布 700 余篇研究论文,数学家 Frank Calegari 认为这标志着 AI 已能在数学多个领域做出突破性贡献。他指出这些论文写作质量糟糕、违反署名规范,部分甚至有误,但数学家更应把精力放在招聘、发表与培养学生上。他以有限单群分类的历史为例,提醒同行不要因“著名问题被解决”而放弃领域,而应借新工具开拓更深层的问题。
Anthropic 开放 Anthropic Residency 申请,这是其付费、固定期限研究项目,驻留期 6 周至 6 个月,面向量化领域教授、技术创始人或 staff 级工程师,不要求机器学习背景,本轮申请 11 月 22 日截止。
Dartmouth 教务长曾警告 AI 作弊问题,但他本人的 AI 使用问题最终导致其丢掉职位。原文未披露其具体使用了哪款 AI 工具、涉及何种行为,也未说明校方处理依据与时间线。
加州大学伯克利分校EECS教授Gireeja Ranade在Terence Tao博客客座撰文,讨论AI冲击下数学等理论学科学生动力与就业问题。她指出,学生因模型“一个提示就能做所有事”而失去努力意愿,并担忧下一代普通数学家的岗位与培养。文章将维持智识文化所需的数学、科学与人文人才培养称为公共品问题。
当人人都能使用 AI“虚拟实验室”时,招聘会变成什么样? 未来学家 @SineadBovell 与 Google 副总裁兼总经理、Google Research 负责人 @ymatias 对谈,解析为何下一代构建者必须像“一人组织”那样思考: → 提出正确的问题 → 跨学科串联线索 → 运用伦理判断 → 在智能无处不在时随机应变 在 I've Got Questions 观看完整对话: https://www.youtube.com/watch?v=FlOufV3hZFo
曾参与制定当今软件工程课程体系的 Titus Winters 如今主张几乎推倒重来,他在 The Pragmatic Engineer 播客中讲述了 2010 年 Google 对约 2.5 亿行 C++ 代码的大规模重构,当时由 10,000 名工程师编辑,团队用 MapReduce 解析、抽象语法树匹配和代码生成完成,远早于 LLM 出现。
加州大学戴维斯分校医学院细胞生物学与人体解剖学教授 Paul Knoepfler 在 STAT+ 观点文章中提出,AI 对生物医学科学家可能同时是伙伴、竞争者和拐杖。他表示 AI 很有用,但担忧过度依赖 AI 会让研究者能力下降,并带来科研岗位流失,尤其影响在 AI 环境中成长的新一代生物学家。
美国全国学生信息交换中心秋季入学初步数据显示,美国高校计算机与信息科学本科项目入学人数下滑超 12%,研究生项目降幅超过 10%。两年间计算机科学本科在读学生减少 18.4%,研究生减少 27.1%,而全美本科总入学人数同期上涨 0.6%。彭博社报道称,人工智能兴起促使企业削减大量初级编程岗位,美国劳工统计局 8 月报告认为计算机与数学相关岗位受 AI 冲击最明显。
2002年菲尔兹奖得主、法国科学院院士洛朗·拉福格在复旦大学浦江科学大师讲坛表示,AI在数学证明上的进展超出想象,但AI本质是在文本空间运作的计算工具,若无数学家研究核验,生成的数学文本便失去意义,数学家的位置无可替代。现为华为基础研究中心高级专家、获2025年度中国政府友谊奖的他,还谈到纯数学与应用数学的人为划分,以及数学写作与学习的重要性。
Anthropic 招聘经理 Felix Reiseberg 宣布不再用传统编程面试考察候选人,理由是 Claude 在 React 与汇编类题目上已强于人类,而高产出工程师的表现与这类测试成绩无关。他给初级工程师的建议包括以业务影响而非待办清单为导向、周末做出可运行原型、聚焦单一想法并发挥贴近用户的视角优势。
理论哲学研究员凯萨·凯尔基在《人类事务》期刊发表论文《谁应当为应对专业技能退化负责?》,讨论从业者把工作交给大语言模型后自身专业能力下滑的问题。她指出这种退化难以被日常察觉,源于人们对依赖 AI 的认知偏差,并以医生未识别模型错误信息可能引发医疗事故为例追问责任归属。她主张这是社会性、结构性问题,建议在医学教育等环节设置禁止使用 AI 的基础技能训练阶段。
菲尔兹奖得主、加州大学伯克利分校数学家理查德·博尔彻兹宣布不再布置计分家庭作业,改为通过禁止使用电子设备的线下考试评估学生,原因是几乎无法分辨作业是否由 AI 生成。他表示在线考试平均分数大幅提高,按答案正确性评分会激励学生用 AI 解题并惩罚诚实作答者。伯克利曾考虑 AI 检测软件,但认为可靠性不足,最终将 AI 使用政策制定权交给教授,只要求在大纲中说明。
每年冬天,@MIT 都会开设一门为期1个月的课程(6.9630),学生在这门课上制作扑克AI,并互相竞争赢取现金奖励。编程智能体极大地加速了这一过程,现在*一小时*内就能做出一个扑克机器人。 另外,我会出席决赛!
Announcing No Limit: a bot building tournament hosted by @Sequoia, @citsecurities and @OpenAI. Teams of 1 or 2 get 60 minutes to build a pokerbot from scratch. Agents play thousands of games across six scored rounds. Open to university students and recent grads (‘25 or ‘26). Regionals in Boston, Pittsburgh and the Bay Area in early November. Top five teams from each fly to the Finals. $100K grand prize.
计算神经科学家 David Sussillo 指出,AI 最初源于对生物神经元电特性的抽象,但这一直觉来源如今已不再成立。他认为神经科学尚未成功理解 AI,部分原因是 AI 技术受工程驱动、迭代速度远超科学跟进,而 AI 系统可完整观测,反而可能先于大脑获得深层理论。大语言模型的思维链推理为认知神经科学家带来新机会,多学科共同参与理解 AI 的格局正在形成。
斯坦福CS329Z课程第10课由Alex Shaw与Ryan Marten讲解Terminal-Bench和Harbor,主张软件工程正从"规则是真相"转向"评测是真相",Evaluator成为新角色。
CS 329Z: Engineering AI Agents Stanford / Fall 2026 @stanfordnlp https://cs329z.stanford.edu/ 课程定位:从"模型"到"系统"的工程学 覆盖:简单 LLM 流水线 → 复合 AI 系统 → 自主 Agent。三位讲师的背景也高度互补: @Diyi_Yang(斯坦福 NLP 教授,人机交互与社会计算方向) @michaelryan207(DSPy 核心贡献者,自动评估 AutoMetrics 作者) @jyangballin(SWE-agent / SWE-bench / SWE-smith 作者,软件工程 Agent 领域最重要的研究者之一) # 课程主线:三大工程挑战 贯穿全课的三个核心问题——分解(decomposition)、数据(data)、评估(evaluation)。11 周的内容基本围绕这三条线展开,可以分为五个模块: 模块 1:构建基元(Week 2–3) · LLM 作为构建材料:API/SDK(litellm)、结构化输出、约束生成、解码策略、test-time compute、上下文工程、模型选型与成本/延迟权衡 · RAG:embedding、向量库、分块策略、混合检索、cross-encoder 与 ColBERT 后期交互 · 工具调用:函数调用 API、MCP(Model Context Protocol)、工具设计、代码沙箱、错误处理与重试 模块 2:框架与设计模式(Week 3–5) · 框架层:DSPy(signature / module / optimizer)、LangChain/LangGraph、LlamaIndex,重点是"框架抽象了什么 vs. 你手写了什么" · 设计模式:workflow vs. agent 的分类学,五种可组合 workflow 模式,ReAct / plan-and-execute / reflection,"scaffold(脚手架)本身就是设计决策" · 记忆架构:短期/长期记忆、记忆作为工具动作、文件系统作为外化记忆、跨 Agent 记忆(MemGPT、Mem0、Generative Agents) · 多 Agent 系统:编排模式、handoff 与状态传递,以及一个很有态度的对照阅读——既读 AutoGen,也读《Why Do Multi-Agent LLM Systems Fail?》和 Neubig 的《Don't Sleep on Single-agent Systems》 模块 3:优化(Week 5) · 从提示词到微调的全景:GEPA、MIPROv2、OPRO、TextGrad(提示优化);LoRA/QLoRA、蒸馏、RLHF/DPO(权重优化);test-time scaling(推理算力) · 核心问题是决策框架:什么时候优化 prompt、什么时候优化 weights、什么时候堆推理算力 模块 4:数据与评估(Week 6–8)——最有分量的部分 · 数据:trace、demonstration、feedback 三类数据;训练数据 vs. 评估数据;数据飞轮;合成数据;从 Agent 轨迹构建数据集(SWE-smith) · 评估基础:为什么 eval 难;4 元组框架(request / environment / stopping criteria / scorer);好 benchmark 的性质;tinyBenchmarks · 评估基础设施:三类 grader、LLM-as-judge 的 prompt 设计与已知偏差、pairwise vs. pointwise、非确定性指标 pass@k vs. pass^k、harness 设计 模块 5:安全与前沿(Week 8–11) · 安全:工具访问的隐私风险、prompt injection(含间接注入)、红队、沙箱与权限模型、输出护栏、human-in-the-loop · Coding Agent:SWE-agent、Claude Code、OpenHands 的端到端架构对比 · 主动式 Agent:从 reactive 到 proactive,General User Models(GUM)、Next Action Prediction,以及"Agent 何时应主动、何时应等待"的 mixed-initiative 问题 · 开放问题:多模态/web/计算机使用 Agent、科学 Agent、长时运行架构、生产可观测性(tracing、monitoring、成本管理) # 作业设计:一手建、一手评 HW1:从零构建 Agent 系统(10%) 给定论文库,构建能检索并推理回答科学问题的 Agent。 · Part A:只用 litellm 手写 RAG + 工具调用 + ReAct 式 Agent 循环 · Part B:用 DSPy 重建关键组件,并反思框架抽象了什么 HW2:评估一个 Agent(10%) 给定一个预构建 Agent,设计完整评估套件:代码型 grader、至少一个 LLM-as-judge、用 4 元组框架构建 benchmark 任务、错误分析。
南京大学计算机学院副教授蒋炎岩在“生成式软件工程”课上提出“没有token的CS学生应立即退学”,该课程要求实训与作业全程基于deepseek-v4-flash完成,学生自行付费购买token。他认为token是AI时代的实验耗材,但真正稀缺的不是token,而是值得花token的问题,并主张以作品而非简历考核学生。
AI Quests 第三关正式上线!🧠✨ 受我们十多年连接组学和神经科学研究启发,“Polar Peaks”邀请学生化身研究人员,绘制大脑中的神经通路。该关卡与 Stanford Accelerator for Learning 合作打造,向青少年展示人类判断如何塑造负责任的 AI。 了解更多:https://goo.gle/4ipdPVX
Google Research 与斯坦福学习加速器联合发布 AI Quests 系列第三课“Polar Peaks”,面向 11 至 14 岁学生,让他们在游戏中扫描并绘制大脑神经元、完成数据清洗与模型测试,理解 AI 如何加速神经科学研究。
首都经济贸易大学智能经济研究院正升级"融创智谷"平台,该平台是统筹全校算力、共享数据资源的"算力—算法—数据"一体化底座,面向人才培养、科学研究和智库服务三类场景开放。各学院可开发自己的垂类大模型和智能体,为不同专业配备"智能助手"。中央财经大学、上海财经大学等多所财经高校也在加快学科调整和平台建设,探索"AI+财经"新路径。
Sebastian Raschka 开放「Build a Reasoning Model (From Scratch)」配套完整编程课,共 11 小时视频,从预训练小 Qwen3 0.6B 起步,用 Python/PyTorch 手写 verifier、推理时扩展、GRPO 版 RLVR 与蒸馏。
The complete reasoning-from-scratch video series is now up (and linked) here: https://magazine.sebastianraschka.com/p/building-reasoning-models (Taking a short break but will be back with LLM model and research updates in November!)
2026年度“求是杰出科学家奖”数学与物理领域获奖名单公布,王国祯、王虹、贾金锋、叶军4人入选。基于中国科学院近代物理研究所SIMM系统的新一代医用重离子加速器首台示范装置在广东惠州建成,已进入设备检测阶段,预计2026年底开展临床试验。一份未经同行评审的论文指出,美国STEM领域约30%的博士学位论文含AI生成文本,使用AI撰写论文的博士毕业生更可能进入工业界而非学术界。
美国国家经济研究局(NBER)一份未经同行评审的论文用AI检测服务Pangram分析了2019年1月至2026年5月美国大学超过22.6万名STEM博士毕业生的学位论文摘要,发现含AI生成文本的摘要比例从2023年的1.7%升至2025年的18.8%,2026年前5个月已达29.4%,数学和计算机科学最高,为36%。
MIT人文、艺术与社会科学学院(SHASS)9月24-25日举办75周年研讨会,探讨AI如何改变教学、研究与社会。校长Sally Kornbluth称AI已到来并对研究和教育产生巨大影响,教务长Anantha Chandrakasan强调以人为本的技术路径。会上还介绍了MIT Indigenous Languages Initiative硕士项目、DEDP硕士项目和MISTI等教学项目。
哈佛关闭写作中心数月后,威廉姆斯学院一名教师在《纽约时报》撰文称口语比写作更适合思考,允许学生用 AI 写论文、事后当面答辩。该校写作中心主任 Julia Morgan McKenzie 撰文反驳,认为写作让在课堂和口试中不敢发言的学生也能发出声音,取消写作将不利于女性、国际学生、有色人种和性别非常规学生。
Elsevier 宣布向欧盟委员会的 AI in Science Enablers Initiative 作出承诺,提供 4000 份免费 AI 产品许可,包括 1000 份面向早期与资深研究者的 LeapSpace、1000 份 ClinicalKey AI、1000 份 ClinicalKey Nursing AI 和 1000 份 Complete Anatomy。
在 Inside Higher Ed 美国高校峰会上,多位校长称 AI 令人“困惑”“混乱”但也意味着“机会”,有校长表示尚无政策指引,并主张不同时押注单一 AI 平台。
重庆 Force Academy 在 G7–G12 学生中推行"第二使用者测试":把看似完成的项目交给另一名学生独立复现、检查或修改,以检验作品脱离原作者后是否仍能成立。
SciSpace 发布研究研讨会指南,建议按研究逻辑组织报告而非照搬论文结构,10 分钟报告可从约 10 张幻灯片起步。指南要求标题页写明研究内容、姓名、机构与日期,引言交代问题与空白,并明确陈述研究问题与假设。方法部分需说明研究设计、样本量、重复数、变量与统计方法,并配实验设计示意图。
LSE Impact Blog 刊文主张,高校学者作为知识生产者与教育者,负有伦理责任捍卫 Wikipedia 等开放知识社区。文章称生成式 AI 产品分流读者、未经授权抓取内容,而 Wikipedia 由志愿者社区运营、依赖读者补充新血。
Francesco Maggi 在 Terence Tao 博客客座文章中提出,LLM 已能生成数学证明,如带强迫项的 Navier–Stokes 方程有限时间爆破解构造和准黎曼假设证明提案,但需数学界持续独立审视。