A month after resolving one of the six biggest open problems in mathematics, the company says its new internal model has ...