Matemáticos se revoltam com OpenAI e dizem que IA pode 'quebrar a internet'

A OpenAI despejou centenas de resultados de matemática de uma vez e acendeu dois alarmes ao mesmo tempo: o de quem teme uma "avalanche" difícil de checar e o de quem vê risco real para a criptografia que protege a internet. Entre empolgação e revolta, a sensação é de que a IA pode acelerar descobertas num ritmo que a comunidade não consegue acompanhar - e isso mexe com ciência, segurança digital e dinheiro.

*De acordo com a Scientific American, a OpenAI afirma que cada resultado resolve ou avança de forma relevante uma questão importante em matemática ou ciência da computação teórica - e que parte das provas já foi verificada no Lean, uma linguagem de programação usada para checar a lógica de demonstrações.

*A velocidade e a escala chamaram atenção a ponto de o cientista da computação Scott Aaronson batizar o momento de "Mathocalypse" e dizer que foi "um dos maiores dias da história da matemática".

*Ao mesmo tempo, matemáticos e pesquisadores alertaram que ainda pode levar meses para a comunidade entender o que é realmente novo, o que é reaproveitamento de técnicas existentes e o que pode estar errado.

*A Association for Human Mathematics (AHM) criticou a publicação em massa e pediu que matemáticos deixem de trabalhar com a OpenAI, dizendo que a área "não pediu" por esse tipo de produção e que o modelo de publicação merece ceticismo.

*Segundo o The Rundown, a OpenAI já retirou 3 dos artigos e revisou outros 14 após a publicação, e reconheceu que alguns resultados "não formalizados" podem ter problemas e seriam corrigidos.

*O debate saiu do mundo acadêmico e chegou a alertas de perigo: especialistas em criptografia e pesquisadores do criptomoeda Ethereum passaram a discutir se avanços matemáticos acelerados por IA poderiam enfraquecer os "cadeados" usados hoje na internet e em criptomoedas.

*Pesquisadores do Ethereum, como Justin Drake, falaram em "modo bunker" e sugeriram que usuários migrem gradualmente fundos para endereços novos, onde a chave pública ainda não foi exposta por uma assinatura de transação.

*Vitalik Buterin, cofundador do Ethereum, concordou com a necessidade de levar o risco a sério, mas disse que não recomenda correria imediata para mover fundos, lembrando que já perdeu mais dinheiro em migrações malfeitas do que em hacks.

Mesmo que uma parte dos resultados esteja certa (e o uso de ferramentas como o Lean ajude a checar a lógica), a comunidade ainda precisa entender o que aquilo significa - se as ideias são realmente novas e se os resultados se sustentam fora do ambiente controlado da empresa.

É daí que nasce a revolta.