GitHub

OpenAI称攻克300多道人类未解数学题

OpenAI在GitHub发布700多篇数学手稿，声称其内部模型解决了包括代数、逻辑、几何和概率在内的300多个此前无法攻克的数学难题。此举引发全球数学界争议，部分学者认为这是根本性变革，但也有人质疑其验证方式、指责其傲慢或存在剽窃可能。此前，该公司曾声称证明了纳维—斯托克斯方程的存在性与光滑性问题。

如何评价开源项目《REA: Reverse Engineer Anything》？

开源AI逆向工程工具REA（Reverse Engineer Anything）在GitHub上迅速走红，其星标数在10月6日不足1万个，至10月12日已突破10万个，其中10月11日单日增加超过3万个。该工具通过桥接Anthropic推出的模型上下文协议（MCP），将Claude Code和OpenAI Codex等AI编程助手与Ghidra等专业逆向工程套件相结合。

OpenAI 发布 175 页四维挂谷猜想证明稿，这意味着什么？

10月6日，OpenAI在GitHub公开首批722篇数学手稿。其中一份长175页的证明稿目标指向四维挂谷猜想；另一份97页的手稿则旨在解决三维挂谷猜想中比王虹与Zahl的集合定理更强的“极大函数版本”。挂谷猜想涉及n维空间中包含所有方向单位线段集合的维数问题。

OpenAI发布722项数学发现

OpenAI于10月6日通过GitHub公开了由内部前沿模型产生的722篇数学论文，涵盖372组结果，涉及数论、代数几何及理论计算机科学等多个领域，部分成果声称解决了长期未决的开放问题。尽管普林斯顿高等研究院的咨询小组曾要求停止在专有模型上测试高级数学问题，但OpenAI仍推进了此次发布，并提供了部分Lean形式化验证及计算成本数据。

如何看待 OpenAI 公开 722 份数学手稿，宣布解决包含「准黎曼猜想」的数百个数学问题？

OpenAI近日在GitHub上公开了722篇内部数学手稿，涵盖数论、几何、理论计算机科学和数学物理等17个研究方向，共分为372个成果族。这些手稿涉及准黎曼猜想、BSD猜想、有理霍奇猜想及唯一游戏猜想等多个重大数学问题。尽管其中许多成果尚未经过同行评审，但其规模与覆盖范围引发了数学界的广泛关注。

如何看待 WinUI 开源了？

微软已将 WinUI（原 WinUI 3）和 Windows App SDK (WASDK) 的主线开发迁移至 GitHub。此举旨在提高透明度并加速开发，使开发者能够实时跟踪代码变更与更新。虽然目前尚未完全开源，但这是微软计划的第四阶段，旨在通过更开放的协作解决开发者长期以来的不满。

DeepSeek Harness 一下子涌现出那么多插件，有没有大佬给一下推荐？

DeepSeek于8月13日开源了Agent运行时项目DeepSeek Harness（简称dsh），该项目主打“一切皆插件”理念，在GitHub上迅速走红。由于其开箱功能极少，用户需通过安装插件来补齐图片识别、文件读写等基础能力。目前社区已涌现大量插件，涵盖基础功能增强、体验优化及个性化皮肤等多种类型。