O famoso matemático Tao Zhexuan compartilhou recentemente sua experiência no uso de grandes ferramentas modelo da IA para pesquisas matemáticas. Ele descobriu que, para iniciantes, essas ferramentas de IA oferecem ajuda relativamente limitada, porque os iniciantes geralmente precisam de orientações mais básicas e sistemáticas. No entanto, as ferramentas de IA mostram seu forte potencial em tarefas avançadas, como codificação e escrita em papel, o que pode melhorar significativamente a produtividade.
O Tao Zhexuan apontou que pesquisadores especializados podem fazer pleno uso de ferramentas de IA para concluir tarefas complexas, como codificação automatizada, análise de dados e geração de trabalhos acadêmicos de alta qualidade. No entanto, ele enfatizou que, embora as ferramentas de IA possam fornecer soluções eficientes, os pesquisadores ainda precisam verificar e revisar rigorosamente a saída gerada pela IA para garantir sua precisão e confiabilidade.
Ao falar sobre a importância da educação da IA, Tao Zhexuan acredita que dominar as habilidades de uso e verificação das ferramentas de IA se tornou uma capacidade indispensável na sociedade moderna. Seja na academia ou indústria, entender e aplicar a tecnologia de IA se tornará a chave para o desenvolvimento futuro. Ele pediu instituições educacionais para fortalecer o ensino da tecnologia de IA e cultivar o pensamento crítico e as habilidades de solução de problemas dos alunos.
O Tao Zhexuan também mencionou que a aplicação de ferramentas de IA em pesquisa matemática não se limita à codificação e à escrita em papel, mas também pode ser usada para resolver problemas matemáticos complexos e verificação teórica. Ele deu um exemplo, dizendo que a IA pode ajudar os pesquisadores a exibir rapidamente um grande número de literatura matemática e a encontrar resultados de pesquisas relevantes, acelerando assim o processo de pesquisa.
Apesar do excelente desempenho das ferramentas de IA em tarefas avançadas, o Tao Zhexuan ainda lembra aos pesquisadores cautelosos. Ele apontou que as soluções geradas pela IA podem ter possíveis erros ou vieses, para que eles sejam validados manualmente para garantir sua correção. Este método de pesquisa que combina IA e inteligência humana ajudará a promover um desenvolvimento adicional no campo da matemática.
Em geral, as visões de Tao Zhexuan fornecem uma nova perspectiva para a combinação de pesquisa matemática e tecnologia de IA. Ele acredita que as ferramentas de IA têm um grande potencial em tarefas avançadas, mas também enfatizam a importância da educação e da verificação de produção. Ao utilizar racionalmente a tecnologia de IA, os pesquisadores podem concluir tarefas complexas com mais eficiência e promover o progresso na comunidade acadêmica.