@tao@mathstodon.xyz So is the point of this to actually formalize the math development process? Do you want people to exactly state whether their article is a generation, verification etc.. to make it easier to do peer review and assign credit? To me it would be better to look seriously into decentralized remunerated peer review since that's really the main issue with academia long before AI is now pressure testing it.