mkprc
6 minutes ago
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-...
Open Math Model: The OS for collaborative math research and scientific computing
4 pointsposted 14 hours ago
by JohnHammersley