lemmata.substack.com/p/alphaproof-and-the-imo
Preview meta tags from the lemmata.substack.com website.
Linked Hostnames
15- 22 links tolemmata.substack.com
- 12 links tosubstack.com
- 11 links tosubstackcdn.com
- 2 links toen.wikipedia.org
- 2 links toweb.evanchen.cc
- 1 link toamistrongeryet.substack.com
- 1 link toartofproblemsolving.com
- 1 link todeepmind.google
Thumbnail

Search Engine Appearance
https://lemmata.substack.com/p/alphaproof-and-the-imo
AlphaProof and the IMO
Harder problems, formal proofs, and still perhaps a creativity deficit
Bing
AlphaProof and the IMO
https://lemmata.substack.com/p/alphaproof-and-the-imo
Harder problems, formal proofs, and still perhaps a creativity deficit
DuckDuckGo
AlphaProof and the IMO
Harder problems, formal proofs, and still perhaps a creativity deficit
General Meta Tags
32- titleAlphaProof and the IMO - by Greg Burnham - Lemmata
- title
- title
- title
- title
Open Graph Meta Tags
5- og:urlhttps://lemmata.substack.com/p/alphaproof-and-the-imo
- og:typearticle
- og:titleAlphaProof and the IMO
- og:descriptionHarder problems, formal proofs, and still perhaps a creativity deficit
- og:imagehttps://substackcdn.com/image/fetch/w_1200,h_600,c_fill,f_jpg,q_auto:good,fl_progressive:steep,g_auto/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fb8121b01-a895-4955-b959-8b599e3a4254_1162x1054.png
Twitter Meta Tags
4- twitter:titleAlphaProof and the IMO
- twitter:descriptionHarder problems, formal proofs, and still perhaps a creativity deficit
- twitter:imagehttps://substackcdn.com/image/fetch/f_auto,q_auto:best,fl_progressive:steep/https%3A%2F%2Flemmata.substack.com%2Fapi%2Fv1%2Fpost_preview%2F161932490%2Ftwitter.jpg%3Fversion%3D4
- twitter:cardsummary_large_image
Link Tags
52- alternate/feed
- apple-touch-iconhttps://substackcdn.com/image/fetch/f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F7a8de5ad-261a-47b6-a836-293bcde84acb%2Fapple-touch-icon-57x57.png
- apple-touch-iconhttps://substackcdn.com/image/fetch/f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F7a8de5ad-261a-47b6-a836-293bcde84acb%2Fapple-touch-icon-60x60.png
- apple-touch-iconhttps://substackcdn.com/image/fetch/f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F7a8de5ad-261a-47b6-a836-293bcde84acb%2Fapple-touch-icon-72x72.png
- apple-touch-iconhttps://substackcdn.com/image/fetch/f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F7a8de5ad-261a-47b6-a836-293bcde84acb%2Fapple-touch-icon-76x76.png
Links
59- https://amistrongeryet.substack.com/p/solving-math-olympiad-problems
- https://artofproblemsolving.com/community/c6h3358926p31206004
- https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level
- https://dwrensha.github.io/compfiles/problems/Compfiles.Imo2024P5.html
- https://en.wikipedia.org/wiki/Lean_(proof_assistant)