Post #2920380

@domotorp@mathstodon.xyz As unbelievable as it may seem, it was technically a coincidence; I had decided on this policy change based on other recent developments (some of which are publicly known, and others privately disclosed to me), and announced it mere hours before I became aware of this news. (I have since discovered that OpenAI had been trying to contact me for a few days; but in a perhaps ironic twist of fate, my email filter had decided to classify their emails as spam.) In any event, I remain comfortable with my new policy, and intend to adhere to it. For this particular result, there is plenty of commentary and debate by other mathematicians. If nothing else, it highlights the question of what the goals and values of our profession actually are, which is a topic we need to properly and openly discuss at a much broader scale than we have elected to do in previous years, as we enter the era of proof abundance.