田渊栋：与GPT-5合写最后一篇论文后，我意识到自己5年内会失业（在新窗口打开）
前些时日，OpenAI 在 GitHub 上一口气放出了 722 篇数学论文手稿。这些手稿被归为 372 个结果「家族」，横跨 17 个数学领域，全部出自一个尚未发布、也没有公开名字的内部模型——其性能远胜 GPT-6 Astra。
搜索
关于“GIthub”的结果
共 240 篇
用不着Ctrl+F了！全新AI论文工具，帮你在原文献里海里捞针（在新窗口打开）
GitHub新上线的AI论文生成工具Open Academic Paper Gen以九阶段多智能体工作流完成选题、文献检索、初稿写作与核验，并可在获取全文后定位相关段落，检查引用是否支撑正文论点及标注PDF页码。
王的猜想，刚刚扩展到四维（在新窗口打开）
谁能想到…Gowers你可能还是乐观了。10月7日，OpenAI一口气放出了722篇数学手稿，论文和部分Lean证明全部上传Github。其中编号074的一组只有两篇，正是王虹拿奖的那个方向：挂谷猜想。
王虹攻下的三维挂谷猜想，OpenAI放出175页四维证明稿！（在新窗口打开）
王虹与Zahl解决三维挂谷猜想集合版后，OpenAI在GitHub公开首批722篇数学手稿，其中175页四维稿主张证明一般四维挂谷集合满维，97页三维稿则针对更强的极大函数猜想，论证仍待独立检验。
翻完OpenAI的722篇数学手稿，我们挑出了最重的30道名题（在新窗口打开）
今天上午，OpenAI 把一个尚未发布的内部模型产出的 722 篇数学手稿一次性放上了 GitHub。发布本身的来龙去脉、模型背景和数学界的争议，我们在上一篇报道里已经梳理过。这一篇换个角度，打开仓库，看看清单上到底有哪些成果。
目前可以免费“薅”的Token，截至2026年9月，全网最全信息（在新窗口打开）
截至2026年9月，实测整理出16个仍可免费获取Token的渠道，按限时活动、长期免费层、国内平台额度三档分类，涵盖阶跃星辰Step 5、Qoder、Cline、Gemini API、GitHub Copilot、Kilo Code、OpenCode、Groq、Cerebras、火山引擎、阿里云百炼、腾讯云混元、百度千帆、智谱及硅基流动等平台。
早上刚薅 Claude 羊毛，中午就喜提封号。网友调侃：A 社钓鱼执法（在新窗口打开）
Claude推出绑定GitHub即可领取限时云端额度的福利后，多名通过非官方渠道使用的国内用户在领取后不久因违反支持地区政策被封号，被网友调侃为"A社钓鱼执法"。
Claude Code下半年：格式投降OpenAI，功能借鉴DeepSeek（在新窗口打开）
Claude向OpenAI格式投降了。 Claude Code从9月19日起原生支持AGENTS.md。 这是OpenAI在2025年8月推出的一种项目指令文件格式，此前Claude Code一直坚持只读自己的CLAUDE.md。 现在兼容了，隔壁OpenAI加的Tibo也来围观支持。 大概在5月，Agents.md的使用数量就已经超越了Claude.md。 就在更新这一天，有人搞了个抽样调查，6.2%的GitHub活跃仓库包含AGENTS.md（活跃仓库标准是90天内有push、非fork、非archived），CLAUDE.md的比例是5.4%。 也就是说，大量项目的开发者不得不同时维护两
中国首个！清华「龙虾老师」登上联合国讲台，GitHub暴涨3万星（在新窗口打开）
打造出圈级AI「龙虾老师」的清华团队，这一次，在联合国的讲坛上开坛授课了！现场，来自清华大学教育学院的张羽教授、助理教授于济凡，完成一场90分钟的AI教育实战——用一个开源项目，从零做出一门课。
Facet-0：NTU王子为团队让机器人在精密装配中「看得懂、插得准、出错能恢复」（在新窗口打开）
机器人正在变得越来越「通用」。 从抓取日常物品，到根据语言指令完成多步骤操作，视觉 — 语言 — 动作（VLA）模型正在让机器人摆脱过去「一项任务、一套程序」的开发方式。但当机器人真正走向制造现场，问题也随之发生了变化：会不会做，已经不是唯一标准；能不能在毫米甚至亚毫米级接触中稳定完成，并在出错后自己恢复，才决定它能否真正进入生产环节。 精密装配恰恰是这道门槛最集中的地方。零件可能已经「看起来对齐」，却在最后几毫米发生偏斜、卡滞；一次没有恢复的异常，就可能让整条任务链中断。 项目地址：https://pine-lab-ntu.github.io/facet-0/论文链接：https://arx