AI资讯新闻榜单内容搜索-GIthub

关键词: AI新闻,田柯宇,AI八卦,AI人物

事情大家都知道了，田柯宇昨天一炒作，一堆人联合出来打假田神，不仅列时间线、列代码、还列上了自己的Github主页，搞学术的就是严谨啊👇 https://keyu-tian-sabotage.github.io

关键词: AI新闻,AI逆向,REA,AI逆向Microsoft Word

作者借助 GitHub 项目 REA 和 Codex GPT-6 Astra，在没有源代码的情况下迭代复刻 Microsoft Word，核心功能与界面高度还原，显示 AI 正显著降低成熟软件复刻门槛。

关键词: AI新闻,GPT-5,田渊栋,人工智能

前些时日，OpenAI 在 GitHub 上一口气放出了 722 篇数学论文手稿。这些手稿被归为 372 个结果「家族」，横跨 17 个数学领域，全部出自一个尚未发布、也没有公开名字的内部模型——其性能远胜 GPT-6 Astra。

关键词: AI新闻,AI逆向,REA,人工智能

这两天，GitHub 上一个叫 REA（Reverse Engineer Anything）的项目狂揽了近 7 万颗星！

关键词: AI新闻,AI写论文,Open Academic Paper Gen,AI论文生成工具

GitHub新上线的AI论文生成工具Open Academic Paper Gen以九阶段多智能体工作流完成选题、文献检索、初稿写作与核验，并可在获取全文后定位相关段落，检查引用是否支撑正文论点及标注PDF页码。

关键词: AI新闻,Anthropic,AI数学,人工智能

谁能想到…Gowers你可能还是乐观了。10月7日，OpenAI一口气放出了722篇数学手稿，论文和部分Lean证明全部上传Github。其中编号074的一组只有两篇，正是王虹拿奖的那个方向：挂谷猜想。

关键词: AI新闻,AI数学,openai,王虹

王虹与Zahl解决三维挂谷猜想集合版后，OpenAI在GitHub公开首批722篇数学手稿，其中175页四维稿主张证明一般四维挂谷集合满维，97页三维稿则针对更强的极大函数猜想，论证仍待独立检验。

关键词: AI新闻,openai,AI数学,人工智能

今天上午，OpenAI 把一个尚未发布的内部模型产出的 722 篇数学手稿一次性放上了 GitHub。发布本身的来龙去脉、模型背景和数学界的争议，我们在上一篇报道里已经梳理过。这一篇换个角度，打开仓库，看看清单上到底有哪些成果。

关键词: AI新闻,AI数学,openai,math

OpenAI在GitHub的openai/math仓库公开722份数学手稿，涉及372个问题家族及Lean形式化证明，并表示多数结果来自未发布的内部模型，部分未形式化结果可能存在问题。

关键词: AI新闻,AI羊毛,AI羊毛信息汇总,AI薅羊毛

截至2026年9月，实测整理出16个仍可免费获取Token的渠道，按限时活动、长期免费层、国内平台额度三档分类，涵盖阶跃星辰Step 5、Qoder、Cline、Gemini API、GitHub Copilot、Kilo Code、OpenCode、Groq、Cerebras、火山引擎、阿里云百炼、腾讯云混元、百度千帆、智谱及硅基流动等平台。