Projeto First Proof reúne medalhistas Fields e MacArthur para avaliar capacidade real de modelos de linguagem em resolver problemas inéditos de matemática ...