跳到正文

全部动态

按时间排列的全部内容。默认只显示通过双重评分的入选条目;切换到“全部收录”可以检索所有抓到的资料。

92 条收录动态,更新于 19:57

全部收录包含没有通过评分的资料,标题以常规字体显示并标为“未入选”,只供检索,不写入选理由。

11月2日

星期一,2 条
  1. 王国祯:数学家的使命远远不只是做题

    上海数学中心首席教授王国祯与徐宙利合作,将球面稳定同伦群的计算从第59项推进到第60、61项,再推到第90项,并因此获得2026年度求是杰出科学家奖数学奖。他认为AI解题只是模型训练的副产品,学生依赖AI会削弱“手搓定理”的动力,但数学岗位不应因此减少。他正着手将计算过程形式化,用于训练模型辅助计算。

    科学网证据待确认未入选重要性 22
  2. 数学家 Frank Calegari:OpenAI 发布 700 余篇论文后,数学界应如何自处

    OpenAI 于 10 月 6 日发布 700 余篇研究论文,数学家 Frank Calegari 认为这标志着 AI 已能在数学多个领域做出突破性贡献。他指出这些论文写作质量糟糕、违反署名规范,部分甚至有误,但数学家更应把精力放在招聘、发表与培养学生上。他以有限单群分类的历史为例,提醒同行不要因“著名问题被解决”而放弃领域,而应借新工具开拓更深层的问题。

    Terence Tao 博客证据待确认未入选重要性 36

10月30日

星期五,1 条

10月31日

星期六,1 条

10月30日

星期五,2 条
  1. AI、数学、教育与公共品问题

    加州大学伯克利分校EECS教授Gireeja Ranade在Terence Tao博客客座撰文,讨论AI冲击下数学等理论学科学生动力与就业问题。她指出,学生因模型“一个提示就能做所有事”而失去努力意愿,并担忧下一代普通数学家的岗位与培养。文章将维持智识文化所需的数学、科学与人文人才培养称为公共品问题。

    Terence Tao 博客证据待确认未入选重要性 22
  2. Google Research 谈 AI 虚拟实验室与招聘

    当人人都能使用 AI“虚拟实验室”时,招聘会变成什么样? 未来学家 @SineadBovell 与 Google 副总裁兼总经理、Google Research 负责人 @ymatias 对谈,解析为何下一代构建者必须像“一人组织”那样思考: → 提出正确的问题 → 跨学科串联线索 → 运用伦理判断 → 在智能无处不在时随机应变 在 I've Got Questions 观看完整对话: https://www.youtube.com/watch?v=FlOufV3hZFo

    Google Research证据待确认未入选重要性 18

10月29日

星期四,4 条
  1. Google 250M+ 行 C++ 代码重构与 CS 教育:对话 Titus Winters

    曾参与制定当今软件工程课程体系的 Titus Winters 如今主张几乎推倒重来,他在 The Pragmatic Engineer 播客中讲述了 2010 年 Google 对约 2.5 亿行 C++ 代码的大规模重构,当时由 10,000 名工程师编辑,团队用 MapReduce 解析、抽象语法树匹配和代码生成完成,远早于 LLM 出现。

    Pragmatic Engineer证据待确认未入选重要性 25
  2. AI 对生物医学科学家是伙伴、竞争者还是拐杖?

    加州大学戴维斯分校医学院细胞生物学与人体解剖学教授 Paul Knoepfler 在 STAT+ 观点文章中提出,AI 对生物医学科学家可能同时是伙伴、竞争者和拐杖。他表示 AI 很有用,但担忧过度依赖 AI 会让研究者能力下降,并带来科研岗位流失,尤其影响在 AI 环境中成长的新一代生物学家。

    STAT News证据待确认未入选重要性 22
  3. AI 冲击初级编程岗位,美国高校计算机专业入学人数大幅下滑

    美国全国学生信息交换中心秋季入学初步数据显示,美国高校计算机与信息科学本科项目入学人数下滑超 12%,研究生项目降幅超过 10%。两年间计算机科学本科在读学生减少 18.4%,研究生减少 27.1%,而全美本科总入学人数同期上涨 0.6%。彭博社报道称,人工智能兴起促使企业削减大量初级编程岗位,美国劳工统计局 8 月报告认为计算机与数学相关岗位受 AI 冲击最明显。

    IT之家二手报道未入选重要性 36
  4. 菲尔兹奖得主洛朗·拉福格:AI时代“数学家的位置无可替代”

    2002年菲尔兹奖得主、法国科学院院士洛朗·拉福格在复旦大学浦江科学大师讲坛表示,AI在数学证明上的进展超出想象,但AI本质是在文本空间运作的计算工具,若无数学家研究核验,生成的数学文本便失去意义,数学家的位置无可替代。现为华为基础研究中心高级专家、获2025年度中国政府友谊奖的他,还谈到纯数学与应用数学的人为划分,以及数学写作与学习的重要性。

    科学网证据待确认未入选重要性 20

10月28日

星期三,4 条
  1. Anthropic 招聘经理宣布停用编程面试:Felix Reiseberg 称“Hunger beats tenure”

    Anthropic 招聘经理 Felix Reiseberg 宣布不再用传统编程面试考察候选人,理由是 Claude 在 React 与汇编类题目上已强于人类,而高产出工程师的表现与这类测试成绩无关。他给初级工程师的建议包括以业务影响而非待办清单为导向、周末做出可运行原型、聚焦单一想法并发挥贴近用户的视角优势。

    Latent Space: AI for Science证据待确认未入选重要性 22
  2. 研究称过度依赖 AI 或致专业技能退化,凯萨·凯尔基论文发表于《人类事务》

    理论哲学研究员凯萨·凯尔基在《人类事务》期刊发表论文《谁应当为应对专业技能退化负责?》,讨论从业者把工作交给大语言模型后自身专业能力下滑的问题。她指出这种退化难以被日常察觉,源于人们对依赖 AI 的认知偏差,并以医生未识别模型错误信息可能引发医疗事故为例追问责任归属。她主张这是社会性、结构性问题,建议在医学教育等环节设置禁止使用 AI 的基础技能训练阶段。

    IT之家二手报道未入选重要性 42
  3. 菲尔兹奖得主博尔彻兹取消计分家庭作业:AI 作弊泛滥,仅线下考试可行

    菲尔兹奖得主、加州大学伯克利分校数学家理查德·博尔彻兹宣布不再布置计分家庭作业,改为通过禁止使用电子设备的线下考试评估学生,原因是几乎无法分辨作业是否由 AI 生成。他表示在线考试平均分数大幅提高,按答案正确性评分会激励学生用 AI 解题并惩罚诚实作答者。伯克利曾考虑 AI 检测软件,但认为可靠性不足,最终将 AI 使用政策制定权交给教授,只要求在大纲中说明。

    IT之家二手报道未入选重要性 38
  4. MIT扑克AI课程一小时造机器人

    每年冬天,@MIT 都会开设一门为期1个月的课程(6.9630),学生在这门课上制作扑克AI,并互相竞争赢取现金奖励。编程智能体极大地加速了这一过程,现在*一小时*内就能做出一个扑克机器人。 另外,我会出席决赛!

    引用Sequoia Capital@sequoia

    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.

    Noam Brown证据待确认未入选重要性 22

10月27日

星期二,5 条
  1. 神经科学如何启发了 AI,如今又该何去何从?

    计算神经科学家 David Sussillo 指出,AI 最初源于对生物神经元电特性的抽象,但这一直觉来源如今已不再成立。他认为神经科学尚未成功理解 AI,部分原因是 AI 技术受工程驱动、迭代速度远超科学跟进,而 AI 系统可完整观测,反而可能先于大脑获得深层理论。大语言模型的思维链推理为认知神经科学家带来新机会,多学科共同参与理解 AI 的格局正在形成。

    The Transmitter证据待确认未入选重要性 22
  2. 斯坦福CS329Z第10课:Terminal-Bench与Harbor评测Agent

    斯坦福CS329Z课程第10课由Alex Shaw与Ryan Marten讲解Terminal-Bench和Harbor,主张软件工程正从"规则是真相"转向"评测是真相",Evaluator成为新角色。

    引用meng shao@shao__meng

    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 任务、错误分析。

    meng shao证据待确认未入选重要性 38
  3. 南京大学蒋炎岩谈“没有token的CS学生应立即退学”:真正稀缺的是值得花token的问题

    南京大学计算机学院副教授蒋炎岩在“生成式软件工程”课上提出“没有token的CS学生应立即退学”,该课程要求实训与作业全程基于deepseek-v4-flash完成,学生自行付费购买token。他认为token是AI时代的实验耗材,但真正稀缺的不是token,而是值得花token的问题,并主张以作品而非简历考核学生。

    科学网证据待确认未入选重要性 26
  4. Google推出AI Quests第三关Polar Peaks

    AI Quests 第三关正式上线!🧠✨ 受我们十多年连接组学和神经科学研究启发,“Polar Peaks”邀请学生化身研究人员,绘制大脑中的神经通路。该关卡与 Stanford Accelerator for Learning 合作打造,向青少年展示人类判断如何塑造负责任的 AI。 了解更多:https://goo.gle/4ipdPVX

    Google Research证据待确认未入选重要性 18

10月26日

星期一,2 条
  1. 全国多所财经高校布局"AI+财经",首都经济贸易大学智能经济研究院升级"融创智谷"平台

    首都经济贸易大学智能经济研究院正升级"融创智谷"平台,该平台是统筹全校算力、共享数据资源的"算力—算法—数据"一体化底座,面向人才培养、科学研究和智库服务三类场景开放。各学院可开发自己的垂类大模型和智能体,为不同专业配备"智能助手"。中央财经大学、上海财经大学等多所财经高校也在加快学科调整和平台建设,探索"AI+财经"新路径。

    IT之家证据待确认未入选重要性 28
  2. Sebastian Raschka 开放推理模型构建视频课

    Sebastian Raschka 开放「Build a Reasoning Model (From Scratch)」配套完整编程课,共 11 小时视频,从预训练小 Qwen3 0.6B 起步,用 Python/PyTorch 手写 verifier、推理时扩展、GRPO 版 RLVR 与蒸馏。

    引用Sebastian Raschka@rasbt

    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!)

    meng shao可用产品未入选重要性 45

10月25日

星期日,2 条
  1. 一周热闻回顾:求是杰出科学家奖揭晓、国产医用重离子加速器首台示范装置建成

    2026年度“求是杰出科学家奖”数学与物理领域获奖名单公布,王国祯、王虹、贾金锋、叶军4人入选。基于中国科学院近代物理研究所SIMM系统的新一代医用重离子加速器首台示范装置在广东惠州建成,已进入设备检测阶段,预计2026年底开展临床试验。一份未经同行评审的论文指出,美国STEM领域约30%的博士学位论文含AI生成文本,使用AI撰写论文的博士毕业生更可能进入工业界而非学术界。

    科学网预印本未入选重要性 20
  2. NBER研究:约30%美国STEM博士论文摘要含AI生成文本,使用者更少留在学术界

    美国国家经济研究局(NBER)一份未经同行评审的论文用AI检测服务Pangram分析了2019年1月至2026年5月美国大学超过22.6万名STEM博士毕业生的学位论文摘要,发现含AI生成文本的摘要比例从2023年的1.7%升至2025年的18.8%,2026年前5个月已达29.4%,数学和计算机科学最高,为36%。

    科学网预印本未入选重要性 60

10月24日

星期六,1 条
  1. MIT 人文、艺术与社会科学学院75周年研讨会:重申人类理解的价值

    MIT人文、艺术与社会科学学院(SHASS)9月24-25日举办75周年研讨会,探讨AI如何改变教学、研究与社会。校长Sally Kornbluth称AI已到来并对研究和教育产生巨大影响,教务长Anantha Chandrakasan强调以人为本的技术路径。会上还介绍了MIT Indigenous Languages Initiative硕士项目、DEDP硕士项目和MISTI等教学项目。

    MIT News · AI证据待确认未入选重要性 12

10月23日

星期五,1 条
  1. 若不再写作,谁会被落下?威廉姆斯学院写作中心主任回应“口语优于写作”论

    哈佛关闭写作中心数月后,威廉姆斯学院一名教师在《纽约时报》撰文称口语比写作更适合思考,允许学生用 AI 写论文、事后当面答辩。该校写作中心主任 Julia Morgan McKenzie 撰文反驳,认为写作让在课堂和口试中不敢发言的学生也能发出声音,取消写作将不利于女性、国际学生、有色人种和性别非常规学生。

    Inside Higher Ed证据待确认未入选重要性 18

10月21日

星期三,1 条

10月22日

星期四,1 条

10月20日

星期二,1 条

10月21日

星期三,1 条
  1. SciSpace 研究指南:如何做一场研究研讨会——报告结构与示例

    SciSpace 发布研究研讨会指南,建议按研究逻辑组织报告而非照搬论文结构,10 分钟报告可从约 10 张幻灯片起步。指南要求标题页写明研究内容、姓名、机构与日期,引言交代问题与空白,并明确陈述研究问题与假设。方法部分需说明研究设计、样本量、重复数、变量与统计方法,并配实验设计示意图。

    SciSpace官方证据待确认未入选重要性 12

10月19日

星期一,1 条