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

近日，GitHub上出现了一个名为“distributed-system-testing”的开源项目，该项目由开发者shenli发布，旨在为AI编码代理提供两种专业技能，以自动化规划和执行针对分布式及状态化系统的测试。该项目的核心方法论是“主...

当大家都在为如何配置AI Agent（提示词、MCP服务器、运行框架参数）而焦头烂额时，一个新的开源语言——OpenProse提出了一个颠覆性的想法：忘掉“怎么配”，专注于“要什么”。OpenProse是一种面向AI会话的新语言，它允许...

在AI编程代理的辅助下，开发者zfhuang99基于Rust语言成功构建了一个全新的多Paxos共识引擎，代码规模超过13万行，并以此对经典的Replicated State Library进行了现代化改造。这一项目最令人瞩目的成果在于其性能的巨...

谷歌云近日正式推出Agent Executor，这是一个面向AI代理（Agent）的分布式运行时开源标准，旨在解决长时间运行的代理工作流在可靠性、效率和扩展性上的核心挑战。Agent Executor通过引入持久化执行机制，确保代理任...

字节跳动近日在GitHub上开源了一款名为Lance的原生统一多模态模型，以其仅3B（30亿）激活参数的设计，在AI领域引起了广泛关注。该模型打破了传统多模态模型需要为不同任务（如图像理解、视频生成、图像编辑等）分别...

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

在Google I/O大会上，Google正式发布了其最新一代大语言模型系列——Gemini 3.5。这一版本是Gemini系列的重大升级，首款推出的模型为超快速的3.5 Flash版本，专为在Google搜索等应用中直接处理复杂任务而优化。在多项...