微软 StudentSim：用个性化学生模拟器评估和改进 AI 辅导系统
微软研究院推出 StudentSim，一个从公开去标识化学习记录中训练个性化 AI 学生模拟器的研究系统，用于在真实学习者测试前评估和改进 AI 辅导系统。该研究同时提出 StudentSimEval 评测基准，覆盖国际象棋、第二语言英语写作和数学三个领域，从行为保真度和指导响应性两个维度评估模拟器，StudentSim 在三个领域均优于主流基线。
#论文/研究
Microsoft ResearchAI 评分4040
IT之家AI 评分5050 丘成桐数学与人工智能实验室联盟在清华大学成立，攻关数学专用大模型与AI辅助证明
丘成桐数学与人工智能实验室联盟10月11日在清华大学成立，将攻关数学科学专用大模型、AI辅助数学形式化证明与猜想发现、可解释人工智能等方向。联盟已集结超1000位数学家和科研工作者，并发布10余项“AI+数学”重点成果和研究方向，涉及退化阿诺德猜想、7维同伦球面等问题。丘成桐表示，联盟将探索属于中国自己的数学大模型建设路径。
IT之家AI 评分4040 Anthropic：Claude Science 协助绘制首张全天紫外线地图，约 1/3 区域由模型估算
Anthropic 于 10 月 8 日发布博文，宣布 Claude Science 协助绘制出首张完整的全天紫外线地图，其中约三分之一区域由模型估算。该地图合并了远紫外线（154 纳米）与近紫外线（232 纳米）数据，实测部分主要来自 NASA GALEX 任务在 2003 至 2013 年间约 3.8 万次拍摄，覆盖约三分之二天空。