OpenAI 推理模型突破 80 年数学难题:单位距离问题被推翻
OpenAI 的通用推理模型自主破解了存在 80 年之久的离散几何难题——单位距离问题,推翻了 Erdős 猜想,展示了 AI 跨学科组合创新的能力。

第 8 页,共 52 页
OpenAI 的通用推理模型自主破解了存在 80 年之久的离散几何难题——单位距离问题,推翻了 Erdős 猜想,展示了 AI 跨学科组合创新的能力。

GitHub 内部约 3800 个仓库因员工安装恶意 VS Code 扩展而泄露,黑客 TeamPCP 正以 5 万美元起拍价叫卖数据。事件暴露了 VS Code 插件权限过大、开发者生态中信任与权限失控的结构性风...

PhoneClaw 是运行在 iPhone 上的本地 AI Agent,无需联网即可完成推理与工具调用,完全离线、私密。内置 Gemma 4 和 MiniCPM-V 等模型,支持图片理解、语音交互、健康数据查询、日...

文章指出AI不会取代程序员,而是放大开发者之间的能力差距:对专家是效能倍增器,对初学者则可能制造大量技术债。核心在于开发者自身是否具备定义“好”的标准和深厚的技术底蕴。

Dolphin 是 DataoceanAI 与清华大学联合研发的多语种、多任务语音识别模型,支持 40 种东方语言和 22 种中国方言,训练数据超 21 万小时,可同时完成语音识别、语音活动检测、分段和语种识别。项...

Pyrefly 是 Facebook 开源的 Python 类型检查器与语言服务器,单秒可处理 185 万行代码,内置 IDE 功能,支持 Pydantic、Django 等框架,已在 Instagram 2000...

dotnet/skills 仓库为 Copilot、Claude Code 等 AI 工具提供官方精选技能插件,覆盖 .NET 数据访问、性能诊断、MSBuild 构建、NuGet Core 及 .NET 11 新...

oh-my-pi 是一个集成开发能力的终端工具,支持40+模型、32种内置工具、LSP代码智能、真实调试器、浏览器操作、子代理并行及GitHub一体化读写。它提供哈希锚点编辑、结构化AST重构、持久化沙箱等功能,支...

微软发布 Agent Governance Toolkit,为自主 AI Agent 提供策略执行、零信任身份、执行沙箱和合规审计,覆盖 OWASP Agentic Top 10 风险。支持五种语言及 20+ 主流...

JustHireMe 是一款开源的本地桌面应用,通过自动抓取多源职位、使用确定性规则与向量匹配进行评分,并一键生成定制简历与求职信,简化求职流程并保护隐私。基于 Tauri + React + Python Fas...

qiaomu-anything-to-notebooklm 是一款专为 NotebookLM 设计的多源内容处理器,支持微信、网页、YouTube、PDF 等 15 种来源,自动转换为播客、PPT、思维导图等格式。...

Hugging Face 发布开源 AI 工程师 ml-intern,能自主阅读论文、训练模型并交付高质量机器学习代码。项目基于 Hugging Face 生态,内置文档、论文、数据集和云端算力访问能力,支持交互与...

与其直接指挥AI完成任务,不如让它去指挥其他AI。这种“元指令”模式通过模型自我调度、自我纠错,将工具调用失败和低级错误转化为内部自动闭环,实现了一种自带重试机制的编排器。

Datawhale 发布首个系统化 Vibe Coding 开源教程 Vibe Vibe,面向零基础学习者,践行 Andrej Karpathy 的 Vibe Coding 理念,通过自然语言与 AI 对话实现从想...

Codex++ 是一款开源项目,通过一次性本地补丁为 Codex 桌面应用注入自定义功能、修复界面问题,无需重新构建。内置调整管理器,支持热重载,提供一键安装与更新工具,适用于 macOS 和 Windows,采用...

Codex Proxy 是一款本地轻量级中转服务,能将 Codex Desktop 的 Responses API 转换为 OpenAI、Anthropic、Gemini 等标准协议,让 Cursor、Claude...

Sci-Hub 团队推出 AI 科研助手 Sci-Bot,基于超过 8500 万篇论文训练,支持自然语言问答并附真实引用。支持中英俄等多语言,目前 Alpha 版免费使用。

通过强制大模型进行“漏洞自查-修复-再验证”循环,可压榨其深层推理能力。不同模型反应各异,Codex 5.5 表现严谨,Opus 4.7 易陷入讨好模式。该方法本质是让模型内部进行“事前验尸”,但也可能诱发幻觉或过...

CloakBrowser 通过 49 个 C++ 源代码补丁修改 canvas、WebGL、音频等浏览器指纹,并隐藏自动化信号,使 reCAPTCHA v3 得分达到 0.9。它可作为 Playwright/Pup...

NVIDIA 实验室开源 GR00T Whole-Body Control,将人形机器人全身控制所需功能整合为统一开发与部署平台。包含 GEAR-SONIC 基础模型、解耦 WBC、VR 遥操作、运动砖块生成及 C...
