They won’t because they don’t care and the only way it got this good is something along the lines of they trained on every mathematician’s codex sessions even if they opted out because they consider the thinking traces or output and metadata fair game.
These models are too expensive for broad access unfortunately.
This is sort of like discounting putting humans in space because only a few nations have the means to actually do it at the moment.