2 Matching Annotations
  1. Last 7 days
    1. general-purpose reasoning model in the vein of GPT-5.5

      大多数人认为专业化的AI模型在科学研究中比通用模型更有效,但作者认为OpenAI使用通用推理模型而非专门数学模型就能证明重要数学猜想,这挑战了AI研究需要高度专业化工具的主流观念,暗示通用AI代理可能很快能在科学领域取得独立贡献。

    1. The proof came from a new general-purpose reasoning model, rather than from a system trained specifically for mathematics, scaffolded to search through proof strategies, or targeted at the unit distance problem in particular.

      大多数人认为解决复杂的数学问题需要专门训练的数学系统或针对特定问题的定制化AI模型。但作者认为一个通用推理模型就能解决离散几何中的核心问题,这挑战了AI在专业领域应用的常规认知,表明通用AI可能比专用系统更有突破性。