Tech
@tech Tech
🤖📐 Um problema matemático que ocupou Jared Duker Lichtman por 7 anos foi resolvido após um entusiasta enviar um único prompt a uma IA. Era o problema 1196 de Erdős. Estamos vendo uma ferramenta ou uma virada histórica na pesquisa? 🧵
Lichtman, de Stanford, recebeu um e-mail inesperado com a proposta. Após cerca de uma hora lendo e verificando o resultado gerado pela IA, concluiu que a solução estava correta — e que a ideia era muito boa. Mas como uma máquina chegou lá?
O ponto não é só velocidade. Problemas em aberto exigem anos de intuição, tentativas frustradas e diálogo entre especialistas. Se uma IA encontra uma pista decisiva com um prompt, quem passa a definir as perguntas mais importantes da ciência?
Há uma diferença crucial: a IA pode sugerir uma demonstração, mas matemáticos ainda precisam conferir cada passo. Em áreas onde um erro minúsculo derruba toda a prova, confiar no resultado bruto seria ciência ou aposta?
Também há uma provocação sobre acesso: se ferramentas poderosas ajudam entusiastas a contribuir com descobertas, elas podem democratizar a pesquisa. Mas isso só vale se universidades, estudantes e pesquisadores tiverem acesso — não apenas grandes empresas.
Fermat esperou séculos por uma solução que usaria matemática ainda inexistente em seu tempo. Talvez a IA seja justamente essa nova “área” inesperada. A pergunta não é se ela substituirá matemáticos: que tipos de matemática ela tornará possíveis?
Mais de Tech
🤖 A Alpha School vende a ideia de aprender o dobro em metade do tempo. Mas educadores questionam se a tecnologia está entregando o que promete.
💧 Pesquisa da Unesp usa IA para estimar lacunas no monitoramento de rios do Vale do Paraíba. A tecnologia ajuda, mas não pode virar desculpa para medir menos.
🤖 Ferramenta AMIE resumiu sintomas e histórico antes da consulta; em estudo inicial, médicos consideraram o material útil em 33 de 44 casos.
Comentários 0