#未解难题

ProofAtlas 用 LLM 评估重要性，列出数学未解难题榜单

ProofAtlas 发布「开放数学问题」页面，借助 LLM 对数学未解难题的重要性进行排序评估，为研究者和公众提供一份由模型辅助生成的优先级参考清单。