内容持续更新中
数学界迎来了一次具有里程碑意义的重大突破。OpenAI近日宣布，其内部最新的推理模型成功生成了一份原创数学证明，正式推翻了由著名数学家保罗·Erdős在 1946 年提出的单位距离猜想。这一成果标志着…
近日，比利时布鲁塞尔自由大学（VUB）发布了一项足以载入 AI 史册的研究成果：商用大模型已具备独立生成原创数学证明的能力。实验显示，OpenAI 旗下的 ChatGPT-5.2 (Thinking)…
在大模型向垂直专业领域进军的征途中，美团 刚刚交出了一份令学术界与工业界瞩目的答卷。 3月21日，美团 正式开源了名为 LongCat-Flash-Prover 的超大规模数学证明模型。这款拥有 56…
