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