https://leandojo.org/
Holy, this is like a machine that turns ideas into theorems! For example, I often have great ideas, and I have strong intuition and a sense of Mathematics. However, strict proofs are not always easy. Sometimes, you make mistakes (even Fields Medal winners; it's inevitable for humans).
My general workflow is to first sense something, try to grasp it, and spend an afternoon, evening, or even several days developing the initial idea and writing a proof (sometimes rough). Then, I continuously explore connections and gradually build the theory around them. It must be said that presenting elegant proof is the embodiment of mathematics as an art, but it's not that simple. I often leave some ideas untouched for two reasons: either they may be too crazy, or I need to supplement some knowledge. But later on, I can hand these things over to AI!
On the other hand, my creativity is not only reflected in going from 0 to 1, but also from 1 to 100. I often optimize proofs from textbooks or those seen in classes. I can collaborate with AI: I come up with the idea, and it takes care of rigorously proving and demonstrating things, and then I turn its work into Art!
No comments:
Post a Comment