Record · corpus.blog/posts/01a0bb54-3b68-7080-8d9a-3a1f7497f6c2
Terence Tao’s vision of AI assistants in research mathematics
mathscholar.org · published 4 October 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
- External links
- 7
- Words captured
- 1,416
Cited by
No blog we hold has cited this post yet.
Links from this post
Link
Host
quantamagazine.org
leanprover-community.github.io
coq.inria.fr
hol-theorem-prover.org
isabelle.in.tum.de
theatlantic.com
scientificamerican.com