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 investigação

De acordo com o matemático Zhiming Tao, no Congresso Internacional de Matemáticos (ICM), a matemática está a entrar numa crise fundamental em relação aos métodos e aos valores da investigação, uma vez que os sistemas de IA conseguem agora resolver problemas matemáticos ao nível de investigação a um custo de 10 a 1.000 dólares por problema. Nos testes da First Proof, os sistemas de IA resolveram 7 dos 10 novos problemas de investigação com qualidade publicável, fazendo com que a matemática passasse de «escassez de provas» para «abundância de provas». Tao salientou que a competência crítica já não será resolver problemas em primeiro lugar, mas sim avaliar a importância dos resultados, explicar claramente as demonstrações e transformá-las em entendimento humano partilhado.
Aviso legal: As informações contidas nesta página podem provir de fontes externas e têm caráter meramente informativo. Não refletem os pontos de vista nem as opiniões da Gate e não constituem qualquer tipo de aconselhamento financeiro, de investimento ou jurídico. A negociação de ativos virtuais envolve um risco elevado. Não se baseie exclusivamente nas informações contidas nesta página ao tomar decisões. Para mais detalhes, consulte o Aviso legal.
Comentar
0/400
Nenhum comentário