> "something that can discover new areas of mathematics".

How many software engineers with a good math education can do this?