wrt the ai math stuff, I really wonder if we're going to see folks on the "human math" side trying to not share anything publically until they've proved something (or reach somekind of milestone anyalogous to proof)

If releasing a paper just means some model company can yoink it and do the last few steps to reach some proof, then you're going to be tempted to keep everything as secret as possible

Really feels like a regression