近日，谷歌DeepMind团队发布的Gemini Diffusion实验性语言模型引发学界关注。该模型突破传统GPT逐词生成范式，采用扩散模型技术通过逐步去噪的方式直接生成完整文本块。研究人员在研读《大语言扩散模型》论文时发现...

理论物理学家Alex Lupsasca近日宣布加入OpenAI新成立的‘科学团队’，该团队致力于开发能够推动科学推理进程的人工智能系统，重点加速数学与物理领域的突破性发现。根据公开资料显示，最新研发的GPT-5 Pro已展现出处理...

在工业数字化浪潮中，几何内核作为CAD软件的核心数学定义管理系统，正成为新一代工业AI竞争的战略要地。当前全球几何内核市场被少数企业垄断，其封闭式商业模式严重阻碍了开源生态发展。专家指出，若美国希望保持工...

近日，GitHub上名为CSS Extras的开源项目引发前端开发社区广泛关注。该项目基于CSS最新规范中的`@function`规则，构建了一套功能丰富的自定义函数库，标志着CSS正式从声明式语言向具备编程能力的样式语言演进。其核...

三星蒙特利尔AI实验室最新研究《Less is More: Recursive Reasoning with Tiny Networks》提出突破性方法，通过递归架构使参数量极少的神经网络具备复杂推理能力。该研究在arXiv公开的论文（编号2510.04871）中展示...

NeurIPS 2024系统推理研讨会最新收录的研究项目ProofOfThought提出了一种突破性的神经符号编程合成方法，通过结合大型语言模型的语义理解能力与Z3定理证明器的形式化验证机制，实现了兼具鲁棒性与可解释性的自动推理...

智谱AI正式推出新一代开源权重模型GLM-4.6，该模型最突出的特性是支持高达200K tokens的上下文窗口，使其能够处理更长的文档和复杂任务链。官方宣称在编程与逻辑推理任务上已接近Anthropic公司发布的Claude Sonnet 4...

人工智能公司Anthropic正式推出Claude Sonnet 4.5模型，该模型在SWE-bench Verified基准测试中以77.2%的得分刷新世界纪录，成为当前全球最卓越的代码生成模型。此次升级在计算机操作、复杂推理和数学计算三大核心领...