Anthropic公司研发的AI模型Claude在一个尚未正式发布的版本中，于黎曼猜想相关的核心问题上取得了令人瞩目的进展。黎曼猜想作为数学界最负盛名的未解难题之一，其核心在于黎曼zeta函数非平凡零点的分布规律，与素数...

人工智能在数学领域再次取得引人瞩目的进展。近期的一系列突破显示，由20世纪传奇数学家保罗·埃尔德什提出的多个经典数学难题，正在被AI工具以前所未有的方式破解。这些成果的核心在于，AI系统运用了此前在应对此类...

大型语言模型（LLMs）的普及正在重塑技术工作的完成方式。它们大幅降低了编程、内容生成等任务的入门门槛，让原本技能有限的用户也能产出看似不错的成果，将许多人瞬间转变为“通才”式的多面手。然而，一项最新分析指...

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

OpenAI正式推出ChatGPT Images 2.0，标志着其图像生成技术迈入新阶段。该模型基于前沿的生成式人工智能技术，在核心能力上实现了多维突破。首先，其文本渲染能力获得显著改善，能够更精准地将复杂文本提示转化为视觉...

在人工智能领域，众多团队宣称其研发的智能体具备卓越的科学发现能力，但支撑这些声明的证据往往难以令人信服。为客观评估AI在科学探索中的真实水平，艾伦人工智能研究所（AI2）开发并开源了两项关键基准测试：Scien...

近日，一个名为WiiFin的开源项目在开发者社区引发了广泛关注。该项目旨在为已停产多年的任天堂Wii游戏主机开发一个功能完整的Jellyfin客户端。Jellyfin是一个流行的开源媒体服务器软件，允许用户自主管理和流式传输...

一项名为‘简单自蒸馏’（Simple Self-Distillation, SSD）的新方法为大语言模型的代码生成能力提升开辟了一条高效且成本低廉的路径。该方法的核心在于，仅利用模型自身在特定采样配置（如温度参数和截断策略）下生成...