谷歌DeepMind团队推出新系统AlphaProof Nexus，在未依赖公开发表或训练集中可见的标准解法的情况下，自主解决了353个公开埃尔德什（Erdős）问题中的9道，其中有两道难题甚至困扰了数学界56年之久。值得一提的是，每...

OpenAI的一个推理模型成功推翻了离散几何学中的核心猜想——“平面单位距离问题”（Planar Unit Distance Problem）。该猜想最早由20世纪著名数学家保罗·埃尔德什于1946年提出，在长达80年的时间里一直未被攻克，是离散...

随着生成式AI内容的爆发式增长，如何区分AI生成内容与人类创作，并确保其可信度成为行业焦点。OpenAI近日宣布了一项多层次的AI内容溯源策略，旨在提升AI生成媒体的透明度和安全性。该方案首先采用C2PA（内容来源与真...

人工智能安全与研究公司 Anthropic 宣布收购开发者工具初创公司 Stainless。Stainless 专注于 SDK 自动化平台，其解决方案能够帮助开发者快速生成和维护高质量的软件开发工具包。该平台在 AI 行业中拥有广泛的用户基...

在AI辅助编程工具日益臃肿的当下，Zerostack以“极简主义”和极致的性能优化脱颖而出。该项目完全采用Rust编写，核心设计目标是在保持极低内存占用的同时，提供强大的编码代理能力。Zerostack不仅支持多种主流AI提供商...

OpenAI近日宣布与马耳他政府建立合作关系，将面向该国所有公民提供ChatGPT Plus服务。这一举措标志着AI技术在国家层面的普及迈出了重要一步，也体现了政府推动AI素养建设的决心。根据合作内容，马耳他公民将能够免费...

OpenAI 近日详细披露了其 Codex 功能在 Windows 系统上运行背后的工程挑战与解决方案。为了在保证安全性的前提下，让编程 AI 代理能够高效地在本地开发者机器上执行任务，OpenAI 构建了一套高度受限的“Windows 沙箱”...

OpenAI近期举办的一场名为“参数高尔夫”的竞赛吸引了超过1000名参与者和2000份提交作品。该竞赛的核心挑战是在严格约束条件下，尽可能减少数据集的损失。参赛者运用了多种先进技术，包括精细调参、量化以及新颖的建模...