OpenAI尖端大模型数学验证能力实现重大突破‌

【OpenAI公布尖端大模型在数学领域的突破性验证成果‌】徽声在线10月7日讯，OpenAI近日正式对外披露了其内部研发的尖端大模型在数学能力验证方面取得的系列新进展。这些研究成果已通过GitHub开源代码库全面公开，并严格遵循学术论文修订与引用的标准化协议。此次发布的核心亮点包括采用Lean语言构建的形式化数学证明体系，该技术可实现数学命题的自动化计算机验证；据技术团队披露，单份验证成果的算力消耗量级，相当于ChatGPT Pro模型持续进行3小时高强度逻辑推理的能耗水平。