>>13092922every new equations will be found by automated computer algorithms in the future, and it won't need to be "proven" because formal verification are already part of computer programs
and it's normal
our brain is limited
cutting edge maths requires maybe 200 iq
we're limited by our iq
only a computer can create and solve new concepts that would require 100000 iq or more, and translate it into our primitive brain
at least we can understand the concept of true and wrong, it's enough to evolve, as long as we don't try to go too deep into the details which we can't process at this time of our evolution
