Добро пожаловать @mathematics_inc - новая компания, посвященная автоформализации и созданию проверенной суперинтеллектуальности, инкубируемой в Morph в течение последних нескольких месяцев. Уникально обеспеченная вычислительной инфраструктурой среды Infinibranch от Morph, первый продукт Math, Inc. - это Gauss, агент автоформализации, который достигает беспрецедентного масштабирования вычислений во время тестирования для этой области, с тысячами параллельных агентов, каждый из которых работает до 12 часов подряд, чтобы создать формализацию теоремы о сильных простых числах объемом 25 000 LOC. Это сжимает то, что раньше занимало у экспертов годы, до нескольких недель. Это взгляд в будущее знаний --- автономное, планетарного масштаба, созданное для того, чтобы дать возможность людям и их славным достижениям --- которое будет построено на Morph Cloud.