用GPT-6 Astra将并行切割研究时间和成本减半 GPT-6 Astra 通过并行处理能力将研究时间和成本减半，显著提高企业数据收集和综合的效率。 2026-09-23 AI & Machine Learning 0 Administrator
OpenAI的Navier-Stokes发布包含Lean 4形式证明 OpenAI 使用 Lean 4 对纳维-斯托克斯方程进行形式证明，标志着人工智能与形式证明结合的重大进展，为复杂计算系统的处理和验证方式带来转变。 2026-09-11 AI & Machine Learning 0 Administrator
人工神经网络的涌现符号结构 近期研究发现，人工神经网络在特定条件下能生成内部符号结构，类似人类符号推理，对AI理解和智能涌现有重要启示。 2026-09-02 AI & Machine Learning 0 Administrator
大型语言模型在学术工作流中的应用：使用长短上下文窗口生成文献综述的评估 大型语言模型（LLMs）在学术工作流中辅助生成文献综述，其效果受上下文窗口大小影响。研究评估了短和长上下文窗口对综述质量的影响，发现长窗口提升准确性和全面性，但也增加复杂性。 2026-08-28 AI & Machine Learning 0 Administrator