41554 blogs · 4,417,066 posts Claim your blog

Record · corpus.blog/posts/01a0871d-c5a8-73e0-8539-5dfd883a7b2f

When Formalization Became Industrial

antomon.github.io · published 5 September 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: 15
Words captured: 13,296

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://4m4.it/posts/after-proof-abundance-palomar-and-the-new-infrastructure-of-mathematical-trust/

4m4.it

https://4m4.it/posts/proof-abundance-and-the-new-practice-of-mathematics/index.html

4m4.it

https://www.anthropic.com/research/formalizing-fermats-last-theorem

anthropic.com

https://github.com/anthropics/fermats-last-theorem

github.com

https://www.math.mcgill.ca/darmon/pub/pub.html

math.mcgill.ca

https://4m4.it/posts/new-cognitive-infrastructure-science/index.html

4m4.it

https://4m4.it/posts/leiden-declaration-and-the-governance-of-ai-assisted-mathematics/

4m4.it

https://doi.org/10.48550/arXiv.2608.28433

doi.org

https://prove2.me/about

prove2.me

https://doi.org/10.5281/zenodo.20302944

doi.org

https://palomar-registry.org/statement

palomar-registry.org

https://github.com/PalomarRegistry/PalomarPolicy/blob/main/CONTRIBUTING.md

github.com

https://github.com/PalomarRegistry/PalomarTemplate/blob/main/formalization.yaml

github.com

https://palomar-registry.org/about

palomar-registry.org

FLT: Anthropic has beaten me to it Read at the source ↗

xenaproject.wordpress.com