corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0871d-c5a8-73e0-8539-5dfd8eb34c8e

Proof Abundance and the New Practice of Mathematics

antomon.github.io · published 24 July 2026

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.

Read the post at antomon.github.io Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
18
Words captured
12,495

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
An OpenAI model has disproved a central conjecture in discrete geometry Read at the source ↗
openai.com
https://doi.org/10.48550/arXiv.2605.20695
doi.org
https://teorth.github.io/tao-web/slides/age-of-ai-icm-2026.pdf
teorth.github.io
https://teorth.github.io/tao-web/ai-views.html
teorth.github.io
https://www.quantamagazine.org/how-terry-tao-became-an-evangelist-for-ai-in-math-20260608/
quantamagazine.org
https://4m4.it/posts/the-erdos-moment-of-ai/
4m4.it
https://4m4.it/posts/new-cognitive-infrastructure-science/
4m4.it
https://4m4.it/posts/industrialization-of-intelligence/
4m4.it
https://doi.org/10.48550/arXiv.2603.26524
doi.org
https://doi.org/10.1090/S0273-0979-1994-00502-6
doi.org
https://doi.org/10.48550/arXiv.2606.03300
doi.org
https://doi.org/10.48550/arXiv.2606.18119
doi.org
https://doi.org/10.48550/arXiv.2607.09474
doi.org
https://doi.org/10.48550/arXiv.2205.12615
doi.org
https://lean-lang.org/doc/reference/latest/
lean-lang.org
https://rocq-prover.org/doc/V9.2.0/refman/language/core/index.html
rocq-prover.org
https://doi.org/10.1038/s41586-025-09833-y
doi.org
https://doi.org/10.5281/zenodo.20302944
doi.org