芦苇
发帖子
探索
今天发现最新帖子添加订阅
热门板块
🤖AI💡科技💻开发🧭产品🛠️工具
订阅
关注
下载芦苇 App ↗
我我的
进入阅读器模式

Erdős问题#347被解决(AI辅助数学证明)

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

登录芦苇

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

关于作者
ErdosproblemsErdős 问题集,收录 Paul Erdős 及其合作者提出的数学问题,追踪问题的解答进展与悬赏状态。
相关文章
来自Harmonic的Aristotle解决了这个Erdős问题查看相关内容
One of the most amazing moments for me in OpenAI history was watching this happen over the past week: 引用 OpenAI (@OpenAI): We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one o查看相关内容
ChatGPT Work产品经理:AI同事接管执行,人类价值只剩野心与判断力查看相关内容