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

Мы рады приветствовать @jdlichtman в Morph в качестве нашего главного математика, где он сократит путь к проверенной суперинтеллектуальности.

Мы рады объявить о Trinity, системе автоматической формализации для проверенной суперинтеллектуальности, которую мы разработали в @morph_labs. Мы использовали ее для автоматической формализации в Lean классического результата де Бруйна о том, что гипотеза abc верна почти всегда.