Submitted 1 month ago by cm0002@lemy.lol to math@mander.xyz
https://www.quantamagazine.org/two-researchers-are-rebuilding-mathematics-from-the-ground-up-20260520/