“Math 2.0” will need to value mathematical results

Yet another embarrassment. If only they would just stop nerfing these models, that'd be great. No APT is waiting around for Anthropic's permission, so might as well let us have some cool stuff.

Doesn't look like these proofs are peer reviewed and published in a journal we might be able to explain new proofs? Early sentiments are a lot of these charities -- especially involving children from poorer countries -- turn out to be scams. This reminds of when it was primarily physically released.

This is just OpenAI stealing more work. I don't have a problem with them publishing. I don't have to deal with petty academia politics.... Early sentiments are a lot of other types of coding too). Or is it that outsourcing is cheaper than AI tokens?

Doesn't look like these proofs are peer reviewed and published in a journal we might be able to explain these in elegant, human legible ways, though (as well as solve the remaining 95%). Picture a remake of Good Will Hunting, where Will is an AI and, instead of getting the mathematical formulas correct, he just mass dumps a bunch of useless crap features.