搜索关键词 科学推理
AI & Enterprise
OpenAI内部模型Astra解出10个多年未决难题并公开可机器验证的形式化证明
OpenAI表示，旗下尚未公开的内部模型Astra已在数学、量子复杂性和理论计算机科学领域，针对10个悬而未决至少10年的问题给出新结果，并同步公开可机器验证的形式化证明。公司已在GitHub以Apache 2.0许可证开源249页论文草稿、模型推理过程及基于Lean 4的证明证书。不过，这些结果仍需学界进一步核验其是否准确对应原本的未决问题，以及其学术价值和影响。
AI & Enterprise
TechRadar：中国AI加速缩小与西方头部模型差距，推理成本最低可降至1/100
TechRadar称，中国AI模型在快速缩小与西方头部模型性能差距的同时，推理成本最低可降至1/100，AI竞争也由“单一最强模型”转向“低成本、可规模化部署的生态”。在GPQA Diamond基准测试中，美国厂商仍占优，但过去一年OpenRouter平台上美国模型流量占比已从约74%降至约20%，中国模型占比则升至接近一半。
AI & Enterprise
SK Telecom发布6880亿参数自研模型A.X K2，加快产业场景落地
SK Telecom于29日宣布，在Hugging Face开源发布自研AI基础模型A.X K2，参数规模达6880亿。该模型引入SGA架构，在14项国内外基准测评中的平均表现较A.X K1提升32.2%，长文本理解和Agent相关测评提升约83.9%。公司计划以制造、国防领域、生物医药为重点，加快模型落地，并推进万亿级后续模型及视觉语言、语音等衍生模型研发。
