Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel
Starfleetmath
，使用 Lean 4 自动解决开放数学问题的 AI 系统。
关注
添加评论
点赞
收藏
点踩
分享
查看原文
评论
?
参与讨论
点赞
收藏
点踩
分享