Record · corpus.blog/posts/01a0bb5a-5ee4-7195-9496-c3d9063bc2f2
Computation, AI and the future of mathematics
mathscholar.org · published 13 June 2024
A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.
0blogs citing
- First cited
- —
- Most recent
- —
- Rank this month
- not ranked
- Links from this post
- 30
- Words captured
- 3,294
Cited by
No blog we hold has cited this post yet.
Links from this post
Link
Host
upload.wikimedia.org
leanprover-community.github.io
coq.inria.fr
hol-theorem-prover.org
isabelle.in.tum.de
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
annals.math.princeton.edu
code.google.com
http://www.newscientist.com/article/dn26041-proof-confirmed-of-400yearold-fruitstacking-problem.html
newscientist.com
scientificamerican.com
quantamagazine.org
arxiv.org
polymathprojects.org
arxiv.org
en.wikipedia.org
ams.org
oeis.org
scientificamerican.com