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

近日，一款名为Let-go的开源编程语言在Hacker News上引发热议。它用纯Go语言实现，语法和语义上约90%兼容JVM上的Clojure。与传统Clojure依赖Java虚拟机不同，Let-go编译成一个约10MB的静态二进制文件，冷启动时间仅...

苹果近日在开发者文档中正式发布了macOS 26.2（代号Tahoe）的更新说明，其中一项关键特性引发了高性能计算与人工智能领域的广泛关注：系统原生支持通过Thunderbolt接口实现远程直接内存访问（RDMA）。这项技术突破意...

近日，开源科学机器学习库PINA正式加入PyTorch生态系统，为科研与工程领域带来突破性工具。该库提供模块化、可扩展的工作流，专门针对偏微分方程求解器、物理系统模拟等科学计算任务进行优化。通过深度融合物理先验...

当地时间11月17日，Arm与NVIDIA联合宣布，基于Arm架构的Neoverse系列服务器CPU将能够通过NVIDIA的NVLink Fusion技术与AI加速器实现高效集成。这一技术突破标志着两大芯片巨头在异构计算领域迈出关键一步，未来企业可...

近期技术社区热议的Ruby语言编译技术实现重大突破——开发者成功实现了将Ruby代码直接编译为机器语言的实验性方案。该技术通过创新性的中间表示层设计，绕过了传统解释器的性能瓶颈，使动态类型语言的执行效率获得数量...

近日，前沿开源实验室Moonshot AI正式发布其新一代Kimi K2思维模型，该模型采用混合专家架构，具备320亿激活参数与1万亿总参数的庞大规模。在技术性能方面，Kimi K2在前沿知识理解、数学推理及代码生成领域均达到当...

Meta Superintelligence Labs于arXiv发布编号2509.01092的首篇论文，引发学术社区高度关注。该研究并未延续当前大模型参数规模竞赛的常规路径，而是聚焦于注意力机制的基础架构创新。论文提出了一种名为"动态稀疏注...