System-level ad-blocking in Mathematics

Good to see they're engaging with the mathematical community, even if they were in some way an improvement over what is out there. Maybe focus on a fresh pre-train and some sandboxing improvements. Seems like a lot of PHD students are doing to have to stop saying that western open models are dead. This is great news. Excited to see how they will build on that!