A IA acaba de ultrapassar um limiar na matemática. @tachim CEO @HarmonicMath sobre como a IA está a mudar a verificação matemática: "Há um ano, formalizar provas com IA era basicamente impossível. Agora está a ser aceito muito rapidamente." "Antes, se você resolvesse um problema de Erdős, precisava de um professor para validar, arriscando a sua reputação e gastando um tempo significativo." "Agora qualquer um pode tentar uma solução, formalizá-la, e todos podem ter confiança de que está correta."