R to @ERC_Research: One example: mathematicians Christoph Thiele & Floris van Doorn received a €6.4M ERC Synergy Grant in 2025 to explore whether computers could verify mathematical proofs.

Read more: https://bit.ly/4s9sSXE

#PiDay #Mathematics
---
https://nitter.net/ERC_Research/status/2032773895821078607#m