新智元报道 OpenAI 内部最新推理模型,一口气发布了十项惊人的数学进展。 其中包括: 首次证明了非 Sofic 群(Non-sofic groups)的存在性 ; 给出了全新的电路下界(Circuit lower bounds); 攻克了最近向量问题(Closest Vector Problem 本文链接