芦苇
发帖子
探索
今天发现最新帖子添加订阅
关注
订阅
我我的

GPT 5.4 solves major open math problem- Comments by Terry Tao and Jared Lichtman

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

登录芦苇

登录后关注作者、收藏内容和参与讨论。

关于作者
ErdosproblemsErdős 问题集,收录 Paul Erdős 及其合作者提出的数学问题,追踪问题的解答进展与悬赏状态。
相关文章
和积集、单位距离与数域查看相关内容
埃尔德什 #1051 问题获证:AI 智能体发现证明已完成 Lean 形式化验证查看相关内容
Erdős问题#347被解决(AI辅助数学证明)查看相关内容