"Dois anos atrás, a IA mal conseguia resolver matemática do ensino médio." @tachim CEO @HarmonicMath sobre IA contribuindo para problemas reais de matemática aberta: "Os problemas de Erdő são genuinamente abertos — não resolvidos, mas não no nível do Monte Everest como os Prêmios do Milênio." "São mais como colinas difíceis. Você não construiria uma carreira resolvendo uma carreira, mas ficaria orgulhoso se fizesse." "Agora estamos vendo atividade de IA em problemas reais em aberto." "Significa que a IA está começando a se envolver com a fronteira, não apenas com exercícios."