跳到正文

#GitHub

今日 1 条
今天10月13日周二
10月12日周一
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. The Verge · AI83

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

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

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

10月9日周五
10月8日周四
10月7日周三
  1. Hacker News 热门(buzzing.cc 中文翻译)72

    开发者撰文称 AI 正在杀死我们熟知的开源协作

    一位长期开源参与者认为,AI 生成的低质量 PR 和安全报告正在摧毁开源贡献中的善意信号,维护者被迫把审核成本放在贡献价值之前。curl、tldraw、Ladybird、OpenJDK、Godot、Hono 等项目已收紧或关闭外部贡献,GitHub 也增加了关闭 PR、限制 issue 和归档垃圾 PR 的设置。

10月6日周二
10月3日周六
10月2日周五
  1. Hacker News:AI 热帖52

    Tanmay Sah 与 Dolly Sah:AI 智能体需要撤销按钮

    Tanmay Sah 与 Dolly Sah 在 CACM 文章中提出,能修改真实系统状态的 AI 智能体不能只依赖事前验证,还必须具备事后恢复能力。文章称其研究分析 2,970 条智能体轨迹,发现验证可提升安全但会带来计算、token 和任务成功率成本;EvoUndo 则通过显式记录变更、保留恢复信息和跨状态验证,提供状态恢复、崩溃协调与选择性撤销,相关实现已在 GitHub 公开。

  2. Hacker News:AI 热帖33

    开发者控诉 GitHub:Hytale 模组文档项目致账号被封,申诉九个月无果且无法取回仓库

    一名开发者在 GitHub 发布经游戏方许可反编译整理的 Hytale 服务器模组文档后,本人及两名协作者账号被封,GitHub 未说明具体违规规则。他按官方流程申诉并联系游戏工作室,从 1 月等到 10 月仍未恢复,也无法访问多年历史仓库;目前他已改用私有 VPS 上的 Gitea。

10月1日周四
  1. Hacker News:AI 热帖51

    Ploum 谈开源项目的 AI 帕斯卡赌注:应明确拒绝 LLM 生成贡献

    Ploum 认为开源项目在是否接受 LLM 生成贡献上不存在可持续的中间立场,模糊政策最终会让生成代码进入代码库。文章比较接受与拒绝两类选择,称接受会疏远反对者并增加对专有软件的依赖,拒绝则主要影响坚持使用 LLM 的贡献者;其结论是项目当前应明确拒绝 AI 生成贡献,未来若工具变得可靠再调整政策。

9月30日周三
  1. Hacker News:AI 热帖24

    前沿 AI 治理国际宪章提案:设立 IAGB、IAIT 与潜在审计机制

    一份开放的国际 AI 治理宪章提案提出设立 IAGB、国际 AI Tribunal IAIT 及 NALVU,对超阈值前沿模型强制开放审计 API、禁止欺骗性对齐,并要求意图与执行架构解耦。提案还规划各国 NABMC 监测中心、全球 kill-switch、算力制裁和企业高管责任,并以 MIT License 开放征集 Issue、PR 与联署。

  2. Hacker News:AI 热帖60

    Picnic CTO Daniel Gebler 谈 AI 为何让公司继续招聘工程师

    Picnic CTO Daniel Gebler 在访谈中表示,公司不是尽管有 AI 仍招聘工程师,而是因为 AI 带来的优势而扩大工程投入。AI 已用于代码编写、评审和原型实验,Picnic 每名工程师的平均 pull request 增加 18%,lead-time 降低 35%,但公司主动放缓单纯追求发布速度,转向增加 2x、5x 或 10x 实验。

9月29日周二
  1. elvis50

    出现了很多 JevRAG 变体。 至少可以说很有意思。 你无法真的通过这些范围有限的测试得出任何结论,但它引发了讨论,并为在当前 RAG 和智能体系统中寻找优化带来了令人兴奋的方向。 我一直在测试自己的一个 JevRAG,用于论文探索。 到目前为止,我在将 Jev 用于重排序,以及结合语义搜索和 Jev 搜索论文的一些非常有趣的方式上取得了更多成功。 很快会有更多内容。

    引用Assaf Elovic@assaf_elovic

    Didn't expect this 🤯 We replaced embeddings with Jev in GPT Researcher's RAG pipeline and tested both on 28 research tasks from SimpleQA and open ended research. Jev beat embeddings on every quality measure we ran: - 59% more relevant context (73% vs 46%) - Reports preferred 15 to 3 in blind comparisons - Same cost per report GPT Researcher now runs on Jev by default, and no longer needs embeddings at all. All you need is @LangChain + @tavilyai +Jev for the perfect RAG system. Check out the repo here: https://github.com/assafelovic/gpt-researcher Research: https://docs.gptr.dev/docs/gpt-researcher/gptr/context-filter

9月18日周五
  1. GitHub Blog · AI & ML52

    GitHub 拆解 AI 开发争议:仍需读懂生成代码,Skills 未取代 MCP,RAG 也未过时

    GitHub Podcast 围绕 5 个 AI 开发热门观点展开分析,认为开发者仍需审查并承担 AI 生成代码的结果,招聘更看重使用判断力而非完全依赖或拒绝 AI。文章指出 MCP 负责标准化连接工具和数据,Skills 负责封装团队流程与最佳实践,RAG 仍可为模型提供训练数据外的相关信息;需要微调并不必然说明代码糟糕,但难理解的代码也暴露可维护性问题。

8月18日周二
  1. elsewhere:文章(RSS)49

    从「同事.skill」到「人生系统.skill」:两位年轻 Builder 的公开实验

    周天奕用 Claude 花四小时做出「同事.skill」,GitHub 星标从上线 5 天的 7.3k 增至 23k,并衍生出 200 多个 skills;蔡不菜用 Claude Code 和 Obsidian 搭建「人生系统.skill」,使用说明在小红书获万次观看。两人在真格基金播客《此话当真》中探讨 Vibe Coding 时代 Builder 如何保持个人 context、审美与表达。