A IA acabou de ultrapassar um limiar na matemática. @tachim CEO @HarmonicMath sobre como a IA está mudando a verificação matemática: "Há um ano, formalizar provas com IA era basicamente impossível. Agora está sendo aceito muito rápido." "Antes, se você resolvia um problema de Erdős, precisava de um professor para atestar isso, arriscando a reputação dele e gastando muito tempo." "Agora qualquer um pode tentar uma solução, formalizá-la, e todos podem ter certeza de que está correta."