Apresentando a equipe de descoberta da Axiom: @albe_alfa A trajetória de Alberto vai da IMO → negociação → treinamento de IA para desvendar uma conjectura de 130 anos. Ele descobriu novas funções de Lyapunov quando não existia nenhum algoritmo geral antes. A inteligência artificial aplicada à descoberta matemática redefine os limites da mente humana.
Link para o primeiro vídeo desta série, com @f_charton: