Notas do episódio
Que la IA ha avanzado mucho más allá de lo que pensábamos es algo evidente: el episodio de la formalización con una IA llamada Lean del último teorema de Fermat lo demuestra. No estamos hablando de fantasías o exageraciones. La carta de Terence Tao y otros 24 medallistas Fields refleja la inmensa preocupación que hay hoy en día entre el mundillo d elos matemáticos, porque la IA ha reventado el sector de la investigación matemática. Las capacidades de la IA empiezan a escapar ya a nuestra comprensión. Qué paradoja ¿verdad?, el sector mas humano de todos que es el pensamiento puro de la creación de nuevas matemáticas, donde la creatividad y el intelecto puro es lo que manda, resulta que ha sido el primero en saltar por los aires
Site: ivoox.com