How Close Are Computers to Automating Mathematical Reasoning? Paul Cohen, legendary for his daring methods in set theory, predicted that all of mathematics could be automated, including the writing of proofs.
Learning Math for Machine Learning It’s not entirely clear what level of mathematics is necessary to get started in machine learning, especially for those who didn’t study math.