Blog post: When AI struck gold at the Maths Olympiad

[Siddhartha Gadgil]

https://siddhartha-gadgil.github.io/automating-mathematics/posts/when-ai-struck-maths-gold/

best,

Siddhartha

[Siddhartha Gadgil]

Another blog post in the series. This time I focus on how mathematics can be viewed as a natural science, and AI+Lean shows great promise from this viewpoint. Link at https://siddhartha-gadgil.github.io/automating-mathematics/posts/mathematics-as-natural-science-in-ai-era/

On Sat, 11 Oct 2025 at 11:48, Siddhartha Gadgil <siddhart...@gmail.com> wrote:

https://siddhartha-gadgil.github.io/automating-mathematics/posts/when-ai-struck-maths-gold/

best,

Siddhartha

--
You received this message because you are subscribed to the Google Groups "Automated Mathematics India" group.
To unsubscribe from this group and stop receiving emails from it, send an email to automated-mathemati...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/automated-mathematics-india/CAEqHudq_P-njCtSad-%3DCK1mjKFdBnpCwa6QZ1yYU9PNtNCu0yw%40mail.gmail.com.