A IA na formalização da matemática

Body

Math Inc. (no Brasil seria "Matemática S.A.") é uma startup baseada na Califórnia dedicada à formalização da matemática, ou seja, à transcrição de definições e teoremas para sistemas formais de linguagem como o Lean, de que falei aqui na semana passada. Leia mais (04/28/2026 - 23h00)