TheoremDB – A public workspace for machine mathematics

> TheoremDB——机器数学的公共工作空间

HN 104 分 · 20 条评论 · 作者 frozenseven · 来源 theoremdb.org · HN 讨论

> HN 104分 · 20条评论 · 作者 frozenseven · 来源 theoremdb.org · HN讨论

热门评论

1. @vouaobrasil I suspect tools like this will change human behaviour in the future so that no one really understands the math any more.

⋯ 继续阅读请开通会员 ⋯