As manchetes continuam chegando: tal sistema de IA resolveu tal problema de matemática. E estou ouvindo cada vez mais pessoas dizerem: talvez não precisemos mais de pessoas fazendo pesquisa em matemática; talvez devêssemos delegar tudo para IAs cada vez mais poderosas. Devo admitir que estou ficando um pouco impaciente com algumas coisas que estão sendo ditas.
Porque me parece que muitas vezes envolvem mal-entendidos fundamentais sobre o que a matemática realmente é—e também, francamente, sobre o que a IA é. Talvez eu tenha uma história pessoal única que informa isso. Afinal, em 1988, quando introduzimos o Mathematica pela primeira vez, houve também o mesmo tipo de conversa sobre a matemática ser tomada e tornada sem sentido.
Claro que não foi assim que funcionou. Em vez disso, o Mathematica (agora Wolfram Language) apenas elevou o nível da matemática que pode ser feita—e ao longo dos anos levou a todos os tipos de nova matemática importante. Se resolver integrais simbólicas é o que alguém pensa que fazer matemática realmente é, então, sim, o Mathematica essencialmente o substituiu.
Mas embora esse tipo de resolução de problemas seja o que é necessário em muitas aplicações da matemática, não é o núcleo do que a própria matemática, em sua forma pura, é. O empreendimento da matemática pura é antigo, crucialmente entrelaçado com a história da civilização. Desde a época de Platão e Euclides, a matemática pura foi o exemplo definidor de um lugar onde o pensamento abstrato e racional poderia construir uma estrutura cada vez maior.
E ao longo dos séculos, a matemática pura se tornou o maior edifício intelectual que nossa civilização construiu. Não tem sido sem suas patologias e limitações. E mesmo entre aqueles que constroem o edifício, encontram-se mal-entendidos sobre o que é importante, como as coisas devem ser feitas, etc. A matemática é fundamentalmente sobre produzir provas, por qualquer meio necessário? A matemática é sempre justificada em última análise por suas aplicações? Existe algum inevitável "livro de respostas certas" que é o objetivo da matemática descobrir? Novamente, suponho, tenho alguma história pessoal em tudo isso.
Porque meus esforços em ciência básica me levaram a fazer perguntas sobre os fundamentos de muitas coisas, incluindo a matemática. Então estudei questões como qual é o espaço de todas as matemáticas possíveis, qual poderia ser a estrutura limite da rede de todos os teoremas, e, notavelmente, qual é o papel dos humanos em definir a coisa que chamamos de matemática. A IA moderna é inquestionavelmente útil, às vezes muito útil.
Para mim, seu maior uso em atividades matemáticas tem sido sua capacidade de, efetivamente, minerar tematicamente a base de conhecimento da matemática humana. Começando na década de 1970, ser capaz de fazer pesquisas por palavras-chave na literatura científica foi um facilitador crucial de boa parte da pesquisa que fiz. E agora, com a IA moderna, pode-se fazer muito mais.
Porque em algum lugar dentro desses LLMs—de uma forma que ainda não entendemos cientificamente—há o que equivale a uma representação de ideias brutas colhidas de todos aqueles milhões de artigos e livros sobre matemática. E, no seu melhor, não se trata apenas de recuperar coisas. Trata-se também de fazer conexões.
De ser capaz de ver que este resultado aqui pode ser combinado com aquele resultado ali para chegar a uma conclusão surpreendente e útil. Os humanos também fazem isso rotineiramente. Mas eles tendem a ter lido apenas centenas de artigos; as IAs efetivamente leram milhões, e é barato para elas tentar muitas e muitas combinações possíveis.
Então, pode-se esperar simplesmente lançar uma IA e fazê-la voltar com grande matemática? Como discutiremos, a grande matemática é—mais do que qualquer outra coisa—definida pelas perguntas que faz. Sim, a IA pode automatizar com sucesso coisas que os humanos normalmente teriam que fazer eles mesmos antes. Mas—como veremos—.
Fonte: Hacker News · Resumido por HeadlinesBriefing