Acadêmico da Academia Chinesa de Ciências e especialistas em IA da Beidian Shuzhi discutem o 'efeito multiplicador' da IA e da matemática

Em 24 de julho de 2026, o "Encontro Anual de Matemática das Dezesseis Províncias (Regiões, Municípios) e Fórum Acadêmico sobre Matemática Aplicada e Inteligência Artificial" foi realizado na cidade de Yuxi, província de Yunnan, reunindo mais de 500 especialistas e professores de matemática. Durante o fórum, o cientista-chefe da Beidian Shuzhi, Dou Dejing, e Zhou Xiangyu, acadêmico da Academia Chinesa de Ciências, travaram um diálogo profundo sobre as capacidades da IA em matemática, o papel em mudança dos matemáticos e o futuro da pesquisa matemática assistida por IA. Eles apresentaram dados mostrando que os principais modelos de grande porte melhoraram de reprovar nos exames de matemática do vestibular em 2024 para obter pontuações acima de 135 em 140 em 2026, e agora podem obter pontuação perfeita em olimpíadas de matemática sem conhecimento prévio dos problemas. No entanto, Zhou enfatizou que o ponto forte da IA está na recuperação de padrões e dedução mecânica, não na inovação matemática genuína, e a explicabilidade das derivações matemáticas da IA continua sendo um gargalo não resolvido. Eles discutiram a conjectura de Jacobian, observando que a capacidade da IA de conduzir buscas heurísticas e computações em larga escala poderia ajudar a encontrar contraexemplos, mas o problema da "caixa-preta" persiste. Zhou afirmou que os matemáticos não serão substituídos porque eles fazem o que as máquinas não podem: propor novas questões, construir novos arcabouços e descobrir novas leis. Ele também levantou preocupações sobre integridade acadêmica em relação aos resultados gerados por IA e ética de citação. Dou apresentou a abordagem industrial da Beidian Shuzhi, incluindo a construção de centros de computação em mais de 30 cidades, um sistema de pilha completa "dados-computação-modelo-aplicação" e implantações práticas em saúde e manufatura, como um modelo de doenças de pele que alcança 90% de precisão em exames de médicos intermediários e reduz o tempo de diagnóstico em 20%. O artigo também menciona que o Claude Fable 5 da Anthropic supostamente refutou a conjectura de Jacobian em um fim de semana, e cita a opinião do medalhista Fields Efim Zelmanov de que a IA é como um "jovem matemático altamente talentoso", mas os humanos devem assumir a responsabilidade de realmente compreender as provas e extrair insights.