Lean Mathematicians Are Teaching Math to Lean

Theory nine point four was proved by a computer program called lean. The software is teaching mathematicians how to prove theorems in number theory. It's hoped that computers will one day be able to teach themselves math. However, there are other branches of mathematics where you just put together some brilliant and new ideas for proving them.