corpus.blog
41,554 blogs · 5,038,968 posts Claim your blog
Record · corpus.blog/posts/01a08792-2ef3-7081-bb8d-ef3b1e171b42

AlphaProof Paper

julian.ac · published 13 November 2025

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 julian.ac Wayback capture
1blogs citing
First cited
22 Mar 2026
Most recent
22 Mar 2026
Rank this month
not ranked
External links
18
Words captured
2,225

Cited by

Blog
In the post
Date
mmapped.blog
Kirk, Scotty, and Spock Read at the source ↗
22 Mar 2026

Links from this post

Link
Host
https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/
deepmind.google
https://www.nature.com/articles/s41586-025-09833-y
nature.com
https://www.imo-official.org/year_statistics.aspx?year=2024
imo-official.org
https://www.imo-official.org/year_statistics.aspx?year=2025
imo-official.org
https://www.imo-official.org/problems.aspx
imo-official.org
https://artofproblemsolving.com/wiki/index.php?title=IMO_Problems_and_Solutions
artofproblemsolving.com
https://artofproblemsolving.com/wiki/index.php?title=2024_IMO_Problems/Problem_1
artofproblemsolving.com
https://lean-lang.org/
lean-lang.org
https://arxiv.org/abs/2205.05131
arxiv.org
https://arxiv.org/abs/2305.16264
arxiv.org
https://lean-lang.org/use-cases/mathlib/
lean-lang.org
https://en.wikipedia.org/wiki/Mathematical_induction
en.wikipedia.org
https://leanprover-community.github.io/mathlib_stats.html
leanprover-community.github.io
https://storage.googleapis.com/deepmind-media/DeepMind.com/Blog/imo-2024-solutions/index.html
storage.googleapis.com
https://storage.googleapis.com/deepmind-media/DeepMind.com/Blog/imo-2024-solutions/P6/index.html
storage.googleapis.com
AlphaProof’s Greatest Hits Read at the source ↗
rishimehta.xyz
https://web.evanchen.cc/upload/MOHS-hardness.pdf
web.evanchen.cc
https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence
en.wikipedia.org
Elsewhere on julian.ac (1)