用20个Codex账号并行解决20个埃尔德什难题
Starfleetmath
,使用 Lean 4 自动解决开放数学问题的 AI 系统。
关注
添加评论
点赞
收藏
点踩
分享
查看原文
评论
?
参与讨论