absc
bonked 13 May 2026 13:16 +0200
original: tao@mathstodon.xyz
Throughout my career, I have often made particular efforts to go through and digest recent solutions (or partial progress) in notable developments in my fields of research, partly for my own edification, and also to post on my blog or other social media as a service to these communities (and, in some cases, to highlight the work of early career researchers). This was a rational thing to do in the era of proof scarcity, in which such proofs were rare and valuable, compared to the time available to voluntarily review and explain them. However, this is now changing, with a noticeable increase in the number of serious proof generation attempts to many problems in my field, to the point where this is no longer the bottleneck to mathematical progress. Because of this, as well as a significant reduction in the time I have available to devote to such tasks, I am now changing my personal policy on verifying or digesting any new proofs generated in these areas. (1/2)