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 tecnologia pode ampliar negócios liderados por mulheres — mas o acesso a investimento ainda é a porta mais difícil de abrir. 💻🌍
Uma mistura de visão computacional, fluorescência UV e robótica está ajudando a identificar riscos invisíveis nos pistaches. 🥜🤖
🧠 Pesquisadores criaram um detector que analisa a própria “atenção” dos modelos para identificar respostas sem base no material fornecido. Promissor — mas ainda não é um selo automático de verdade.
Comentários 0