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

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

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