埃尔德什 #1051 问题获证：AI 智能体发现证明已完成 Lean 形式化验证

Erdosproblems，Erdős 问题集，收录 Paul Erdős 及其合作者提出的数学问题，追踪问题的解答进展与悬赏状态。关注
添加评论
点赞收藏
点踩分享查看原文
评论
?
参与讨论