LLM助力突破尘封60年数学猜想！北大王立威团队大幅刷新斯坦纳比下界
LLM助力突破尘封60年数学猜想！北大王立威团队大幅刷新斯坦纳比下界近期，LLM 已经在 IMO 上取得了很好的成绩，在一些研究级数学上（如短程证明、组合构造）也有所进展。但如果真正让 LLM 去处理提出数十年的数学猜想，结果会是如何？
来自主题: AI技术研报
5053 点击 2026-05-18 15:29
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT