I am mind blown that it is not 95% ML for proofs. I mean just the use of ChatGPT for proofs should have been 60% of the projects--then there is "chain of thought proving" for GPT3, visual proofs via StableDiffusion.. Frankly, these kids are