alt Hacker NewsApplications don't care whether the math was proven and understood by humans or computers. Your algorithm will get faster no matter where the insight came from.
Applications don't care whether the math was proven and understood by humans or computers. Your algorithm will get faster no matter where the insight came from.
Applications do not care about 99.999% of theoretical math production anyway. And especially most of the big results in theoretical math nowadays are really inconsequential in applications.