person · 5 menciones
Jeremy Avigad is a professor of philosophy and a professor of mathematical sciences at Carnegie Mellon University.
Un grupo de matemáticos de renombre, incluido Jeremy Avigad y Kevin Buzzard, ha publicado un análisis crítico sobre la propuesta de formalizar todo el conocimiento matemático utilizando inteligencia artificial. Aunque reconocen el potencial de la IA para verificar teoremas, los autores expresan prof
El matemático Jeremy Avigad analiza el impacto de la inteligencia artificial en la práctica matemática contemporánea, argumentando que la IA no reemplazará la disciplina, sino que transformará su metodología. Avigad sostiene que la historia de las matemáticas demuestra que el valor de la disciplina
El matemático Terence Tao anunció la apertura de Palomar, un registro de demostraciones matemáticas verificadas en el lenguaje de pruebas Lean, una iniciativa impulsada por Lean FRO e ICARM. El proyecto surge ante la proliferación de pruebas generadas por inteligencia artificial, algunas formalizada
La inteligencia artificial está revolucionando la matemática, marcando un punto de inflexión en el verano de 2025. Este cambio se evidenció cuando modelos de IA resolvieron con éxito cinco de seis problemas del International Mathematical Olympiad, sorprendiendo a la comunidad matemática. Inicialment
Un equipo de matemáticos, liderado por Maryna Viazovska (galardonada con la Medalla Fields en 2022), ha formalizado la solución al problema del empaquetamiento de esferas en dimensiones 8 y 24, un hito en la verificación matemática. El problema, que se remonta a la conjetura de Kepler en 1611, busca