Terence Tao alerta para uma crise de excesso de provas na matemática
Em artigo de doze páginas no arXiv, Terence Tao alerta que, quando a IA resolve provas de pesquisa por dezenas a centenas de dólares, a matemática passa da escassez ao excesso de provas.