Folha de S.Paulo
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)
Go to News Site