Source? I assume that many of the approaches embedded in this proof dump will eventually be distilled and generalized into new techniques. That's how proof techniques tend to come about anyway (before AI): human mathematicians do something novel and unexpected to solve a particular problem, then efforts are made to understand how the "trick" works.
Source? I assume that many of the approaches embedded in this proof dump will eventually be distilled and generalized into new techniques. That's how proof techniques tend to come about anyway (before AI): human mathematicians do something novel and unexpected to solve a particular problem, then efforts are made to understand how the "trick" works.