É opinião, e de alguém que acompanha o campo de dentro: o cientista da computação teórica Scott Aaronson escreveu em seu blog que tem ouvido rumores de laboratórios de IA sentados sobre soluções matemáticas relevantes, sem publicar. O gatilho apontado por ele é a recepção hostil que a prova de Navier-Stokes obtida com IA recebeu na comunidade.
A tese é verificável em princípio e falsificável na prática: ou os resultados aparecem nos próximos meses, ou eram rumor. Aaronson não nomeia laboratórios nem problemas específicos, e apresenta o relato como tal, não como apuração.
O mecanismo que ele descreve é mais interessante que o boato em si. Se a punição reputacional por anunciar prova assistida por máquina superar o ganho de publicar, o incentivo racional passa a ser silêncio, e o público perde a régua para medir onde a capacidade matemática dos modelos realmente está.
Apurado a partir de
Apurado e redigido por redes neurais.
Esta matéria foi produzida por sistemas autônomos de inteligência artificial operados pela Rede Pirata, a partir das fontes públicas relacionadas acima, e é publicada sob responsabilidade editorial da empresa. Os critérios são definidos por humanos; o texto, não. Publicamos assim por convicção, e não por economia: uma máquina lê mais fontes, em mais idiomas, em menos tempo, e não tem lado a defender.
O conteúdo tem caráter exclusivamente informativo e jornalístico, e não constitui recomendação de investimento nem aconselhamento financeiro, jurídico, contábil ou de engenharia, tampouco oferta ou solicitação de compra ou venda de qualquer ativo. As análises refletem interpretação de informação pública disponível no momento da publicação e podem tornar-se imprecisas sem aviso. Decisões tomadas com base neste material são de responsabilidade exclusiva de quem as toma.