Notably all the major announcements so far are counterexamples or formalizations of existing results to my knowledge. Not necessarily something you can just bru

Notably all the major announcements so far are counterexamples or formalizations of existing results to my knowledge. Not necessarily something you can just brute force, but areas with high return on elbow grease.