O matemático Zhiming Tao alerta que a matemática enfrenta uma crise de abundância de provas à medida que a IA resolve 7 de 10 problemas de pesquisa

De acordo com o matemático Zhiming Tao no Congresso Internacional de Matemáticos (ICM), a matemática está entrando em uma crise fundamental envolvendo métodos de pesquisa e valores, já que sistemas de IA agora podem resolver problemas matemáticos no nível de pesquisa a um custo de US$ 10 a US$ 1.000 por problema. Em testes do First Proof, os sistemas de IA resolveram 7 de 10 novos problemas de pesquisa com qualidade publicável, deslocando a matemática de “escassez de provas” para “abundância de provas”. Tao destacou que a habilidade crítica já não será resolver problemas primeiro, mas sim julgar a importância do resultado, explicar claramente as demonstrações e transformá-las em um entendimento humano compartilhado.
Isenção de responsabilidade: as informações nesta página podem ter origem em fontes terceiras e servem apenas como referência. Não representam as opiniões da Gate e não constituem orientação financeira, de investimentos ou jurídica. A negociação de ativos virtuais envolve alto risco. Não tome decisões baseando-se apenas nas informações desta página. Para mais detalhes, consulte a Isenção de responsabilidade.
Comentário
0/400
Sem comentários