Terence Tao presenterer Palomar, et nytt register for matematiske resultater som er formelt verifisert i beviskontrollsystemet Lean.

Kilde: https://terrytao.wordpress.com/2026/08/18/palomar-a-registry-of-lean-verified-mathematics/