Link to Terry Tao's announcement[1] of this and the corresponding HN comment thread[2].

[1]: https://terrytao.wordpress.com/2026/10/16/sair-open-math-os-...

[2]: https://news.ycombinator.com/item?id=50121980