According to Eclipse, the intersection of artificial intelligence and formal mathematics may fundamentally reshape how ...