Tive o prazer de conversar com @TheTuringPost sobre tudo relacionado à Axiom e à IA para a Matemática! Sintonize: Como eu defino AGI versus ASI específica de domínio, a metáfora do prato, se um modelo falante ou poético pode provar a Hipótese de Riemann e o incrível poder de transferência de aprendizado da matemática para programação e engenharia. - Por que um matemático de IA precisa de capacidade tanto para demonstrações quanto para construções, relacionando-se aos dois ramos do Axiom: demonstração formal e descobertas especializadas. Escassez de dados em comparação com código, o dilema do ovo e da galinha na formalização automática, as ousadas apostas da Axiom em dados sintéticos e como pensamos sobre a geração de novos conhecimentos. Resolução de problemas versus construção de teorias: por que a "construção de teorias" é mais difícil de avaliar do que a Olimpíada Internacional de Matemática (IMO) e por que a busca/recuperação de literatura, tão enfatizada pelos mestrados em direito atualmente, é insatisfatória. https://t.co/HxRoCSOa2S
Carregando detalhes do thread
Buscando os tweets originais no X para montar uma leitura limpa.
Isso normalmente leva apenas alguns segundos.