Isn't the whole point of the field of mathematics in a theoretical sense the pursuit of formal solutions?
So, why would they be advocating for limitations on arriving at solutions?
So, why would they be advocating for limitations on arriving at solutions?
> The goal of mathematical research is human understanding of mathematics, and so mathematics can only thrive in a community of human mathematicians. It is crucial to preserve this communal spirit. [0]
Terence Tao has also talked about the requirement for a mathematical proof: along with generation and formal verification, there is an important step of "proof digestion"
> understanding the essence of a solution, placing it in context with previous literature, summarizing and explaining it effectively, and gaining insights on other related problems and topics [1]
[0]: https://siliconreckoner.substack.com/p/the-leiden-declaratio...
I don't understand how that contradicts my question.