Noticias etiquetadas con «matemáticas»
93 noticias
El medio Nature recoge un llamamiento del medallista Fields Terence Tao a un nuevo modelo para las matemáticas, al que denomina 'Maths 2.0', ante el impacto de…
Por qué importaRefleja el debate sobre cómo cambian la investigación y la formación en disciplinas con alto rigor formal cuando la IA genera demostraciones y…
El matemático Levent Alpöge, de Harvard, presentó un contraejemplo breve que refuta la conjetura jacobiana para tres variables. Atribuyó parte del trabajo a un…
Por qué importaMuestra que los sistemas de IA pueden aportar resultados verificables en problemas abiertos de matemáticas durante décadas. Para las empresas, es una…
En septiembre, OpenAI presentó una posible solución de 166 páginas al problema de Navier-Stokes, que según la empresa sigue el enfoque de los matemáticos…
Por qué importaMuestra que la verificación de resultados generados por IA en investigación todavía depende de revisión humana y de que los modelos sean explicables…
Un estudio de Neil Thompson, Gabriel Manso y Claudio Mayrink Verdun, del MIT, evaluó modelos de OpenAI con problemas de artículos publicados entre diciembre de…
Por qué importaMuestra que la IA avanza también en disciplinas científicas teóricas fuera de las matemáticas, lo que puede acortar los ciclos de investigación en…
Un estudio de Neil Thompson, Gabriel Manso y Claudio Mayrink Verdun, del MIT, evaluó modelos de OpenAI (o1, o3, GPT-5 y versiones posteriores) con problemas de…
Por qué importaMuestra una mejora rápida de la IA en razonamiento científico que podría trasladarse a otras áreas de investigación. Para las organizaciones con I+D…
Un estudio del MIT dirigido por Neil Thompson concluye que, entre mediados de 2024 y mediados de 2026, los mejores modelos de IA pasaron de resolver alrededor…
Por qué importaSi la tendencia se confirma, parte del trabajo de los equipos teóricos en investigación y en modelización económica o financiera podría…
Según el artículo, OpenAI afirmó a principios de septiembre que uno de sus modelos internos resolvió el problema de Navier-Stokes, uno de los Problemas del…
Por qué importaSi las soluciones se aceptan sin comprensión humana, la verificación y el valor de la investigación cambian, algo que también puede afectar a otras…
Shing-Tung Yau y un grupo de matemáticos chinos lanzaron en Pekín la Yau Laboratory Alliance for Mathematics and Artificial Intelligence, que reúne a ocho…
Por qué importaMuestra una divergencia de enfoque entre China y Occidente sobre el uso de IA en la investigación científica, con implicaciones para la competencia…
OpenAI anunció el 8 de septiembre haber obtenido una solución al problema de existencia y regularidad de Navier-Stokes, uno de los Problemas del Milenio, a la…
Por qué importaPlantea qué tareas matemáticas conviene delegar en la IA y cuáles deben preservar los investigadores para seguir generando conocimiento comprensible…
OpenAI publicó más de 350 hallazgos en un repositorio público que abordan problemas abiertos en álgebra, teoría de números, informática teórica, lógica…
Por qué importaSi los resultados se verifican, la producción de matemáticas asistida por IA podría escalar rápidamente y cambiar cómo se valida el conocimiento…
Google DeepMind publica en Science un estudio sobre AlphaProof Nexus, que resolvió nueve de los 353 problemas abiertos de Erdős, dos de ellos sin resolver…
Por qué importaEs uno de los primeros casos de resultados matemáticos generados por IA validados mediante revisión por pares en una revista de prestigio, lo que…
OpenAI publicó el 6 de octubre de 2026 722 manuscritos matemáticos generados por un modelo interno, en un repositorio público de GitHub. Un día después retiró…
Por qué importaMuestra el riesgo de difundir resultados científicos generados por IA sin verificación formal previa. Para empresas que usan IA en análisis y…
OpenAI publicó de forma repentina una gran cantidad de resultados matemáticos. Más de treinta y tres matemáticos consultados por The Verge describen la…
Por qué importaSi los resultados se confirman, la IA podría estar aportando avances en matemáticas a una escala nueva, lo que afecta a cómo se evalúan y validan los…
La Association for Human Mathematics, liderada por Terence Tao, pide boicotear a OpenAI después de que la empresa publicara más de 700 manuscritos matemáticos…
Por qué importaEl caso expone tensiones entre la velocidad de producción de IA y los estándares de verificación y comprensión científica, con riesgo de 'contaminar'…
OpenAI publicó cientos de soluciones a problemas matemáticos abiertos, pero según un grupo asesor de nueve matemáticos (AGMAI, alojado en Princeton), la…
Por qué importaCuestiona la fiabilidad de usar modelos de IA para 'resolver' problemas científicos sin supervisión humana ni comprensión profunda, lo que puede…
OpenAI ha publicado varios resultados matemáticos generados por modelos internos, incluyendo una supuesta solución al problema de Navier-Stokes y un avance…
Por qué importaMarca un punto de inflexión en el uso de IA en investigación científica de alto nivel, generando tensión entre innovación tecnológica y normas…
OpenAI subió a GitHub 722 manuscritos de demostraciones matemáticas agrupados en 372 familias de teoremas, todos verificados formalmente con el asistente de…
Por qué importaEs el mayor corpus de demostraciones de investigación generadas por IA y verificadas formalmente, lo que sugiere que estos modelos pueden actuar como…
OpenAI difundió 377 resultados matemáticos nuevos en álgebra, teoría de números, lógica y topología, generados con un modelo no publicado, verificados en parte…
Por qué importaEl episodio expone tensiones sobre la verificación y autoría de resultados generados por IA en campos científicos, y cómo las empresas gestionan la…
OpenAI publicó en GitHub 722 manuscritos matemáticos generados por un modelo interno avanzado, incluyendo supuestos avances en las conjeturas de Riemann y…
Por qué importaLa controversia expone el riesgo de que resultados científicos generados por sistemas propietarios no puedan ser validados por la comunidad, lo que…
OpenAI publicó en GitHub 372 resultados de problemas matemáticos sin resolver, tras evaluar unos 4.000, con una tasa de éxito cercana al 10%. Entre los…
Por qué importaEl episodio muestra tanto el potencial de los modelos de IA para acelerar investigación matemática avanzada como los riesgos de autoría, atribución y…
OpenAI publicó en GitHub 372 resultados matemáticos generados por un modelo interno de frontera, con formalizaciones en Lean para verificación automática. Cada…
Por qué importaMarca un intento de desplazar la validación científica desde las revistas peer-reviewed hacia repositorios de código verificados formalmente…
OpenAI ha publicado 377 nuevos resultados matemáticos generados por un modelo interno, supervisados por un Grupo Asesor sobre Matemáticas e IA. Los resultados…
Por qué importaMuestra cómo OpenAI intenta recuperar credibilidad científica tras un episodio de sobreventa de resultados, algo relevante para quienes evalúan la…
OpenAI publicó 722 manuscritos agrupados en 372 familias de resultados matemáticos, generados por un modelo interno todavía no lanzado tras someterlo a unos…
Por qué importaMuestra el avance de modelos de IA aún no comerciales en razonamiento matemático avanzado, lo que podría anticipar capacidades futuras de productos…
OpenAI publicó el 6 de octubre más de 700 preprints matemáticos generados por modelos de IA no publicados en GitHub. Los textos abordan cientos de problemas de…
Por qué importaMarca un punto de inflexión sobre el papel de la IA en la investigación científica original y plantea dudas sobre autoría, prioridad y verificación…
