跳到正文

#GitHub

今日 25 条
10月11日周日
10月10日周六
  1. The Decoder78

    OpenAI 一次发布 700 多篇数学手稿后,数学家群体表达震惊与抵触

    OpenAI 于 2026 年 10 月 6 日发布 700 多篇手稿,声称解决数百个开放数学问题,数学博客 Proofs and Prompts 随后收集了 100 多位研究者的回应。

    推荐理由:文章汇集百余位数学家对 OpenAI 批量发布数学证明的反应,可从中看到学术共同体在成果验证、职业路径和研究议程上的具体冲击。

  2. IT之家(RSS)72

    OpenAI 公开 700 多份数学研究文稿,学界担忧冲击青年研究者与合作传统

    OpenAI 在 GitHub 公开 700 多份出自内部前沿 AI 模型的数学研究文稿,许多证明附带可供计算机验证的版本,引发数学界不同反应。纽约大学教授巴克马斯特称青年数学家的研究计划受到冲击,并质疑评审专家曾输入模型的未发表申请书是否被利用;西北大学教授克拉担心一次性发布大量成果会削弱学术交流与合作。

  3. Hacker News:AI 热帖47

    Erdős 问题开放记录库上线,整理 Thomas Bloom 目录并支持 Lean 形式化证明

    Erdős 问题开放记录库已在 erdosproblems.ai 发布,为 Thomas Bloom 目录中的每个 Erdős 问题建立页面,标注开放、已声明或已解决状态及来源。仓库包含来源文库、研究笔记和 Lean 形式化证明项目,并按 0/1/2 三级验证体系审核声明,支持社区提交结果、来源、更正与证明。

  4. The Verge · AI83

    OpenAI 一次性发布近 400 项 AI 数学成果,数学家称理解其影响或需多年

    OpenAI 本周在 GitHub 发布近 400 项 AI 生成数学成果,分布于 719 篇手稿,覆盖组合数学、几何、数论、理论计算机科学等领域。OpenAI 称仅 300 项顶层结果完成 Lean 形式化,约占 42%,截至 10 月 8 日已修订十多篇手稿并因符号错误撤回 3 篇论文。

    推荐理由:文章汇集数十位数学家的一手反应,呈现大规模 AI 数学成果对验证流程、研究规划和学术职业结构的冲击。

  5. Hacker News:AI 热帖18

    小型本地 AI 模型究竟能否证明实用价值?RYZE AI 黑客松发起挑战

    RYZE AI HACK 举办为期 4 周的线上黑客松,要求参赛应用完全由参数不超过 500M 的端侧 AI 模型驱动,禁止调用云端 AI API。比赛设 1000 美元奖金,胜者独得,所有参赛者均可获得证书并进入作品展示。黑客松已于 9 月 29 日开赛,作品提交截止 10 月 27 日,11 月 12 日公布获胜者。

10月9日周五
  1. Hacker News:AI 热帖37

    Show HN:我用 Claude Code 重构了旧游戏

    开发者用 Claude Code 修复并扩展了 2019 年的神经进化游戏,机器人现在可真正学习,并修复了多项进化逻辑 bug。游戏新增服务器端共享进化机制,玩家死亡后机器人种群不再重置,断连时回退到本地进化;同时改进了玩法公平性、HUD、音效与碰撞等问题。

  2. Hacker News:AI 热帖76

    Google 开源端侧 GPU 推理引擎 ML Drift

    Google AI Edge 团队以 Apache 2.0 许可证开源 ML Drift,这是面向端侧 AI/ML 推理的跨平台 GPU 计算引擎,并作为 LiteRT 的核心 GPU 加速引擎。

    推荐理由:文章梳理了 ML Drift 的跨平台 GPU 抽象、LiteRT 集成和迁移路径,便于端侧推理开发者评估旧 TFLite GPU delegate 的替代方案。