creative_work · 2 menciones
Investigadores han desarrollado 'a3-python', una herramienta de verificación de programas para Python impulsada por inteligencia artificial. Python, a pesar de su amplio uso tanto por humanos como por modelos de lenguaje grandes (LLMs), ha sido históricamente difícil de verificar formalmente. El equ
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
El artículo, adaptado del libro *The Proof in the Code* de Kevin Hartnett, retrata la evolución del matemático Terry Tao hasta convertirse en un defensor de la inteligencia artificial y la colaboración masiva en su disciplina. Nacido en Adelaida en 1975 de padres inmigrantes chinos, Tao mostró preco
La lista de ganadores de la Medalla Fields 2026 se ha filtrado de forma accidental e incluye a los matemáticos Hong Wang y Yu Deng, exalumnos de la Universidad de Pekín. De confirmarse el 23 de julio, sería la primera vez que dos matemáticos chinos reciben el prestigioso premio en la misma edición,
La matemática Hong Wang, de 35 años, ha sido galardonada con la Medalla Fields 2026, el reconocimiento más prestigioso de las matemáticas para investigadores menores de 40 años. Wang, profesora en la Universidad de Nueva York y en el Instituto de Estudios Científicos Avanzados (IHES) de Francia, se
OpenAI presentó las soluciones a 10 problemas matemáticos abiertos, algunas enquistadas durante décadas, mediante un modelo interno avanzado conocido como Astra. Los hallazgos abarcan áreas como el empaquetamiento de esferas en dimensiones superiores, los códigos de corrección de errores, la complej
Anthropic anunció el lunes que un modelo de inteligencia artificial aún sin distribuir logró un progreso significativo en la hipótesis de Riemann, uno de los problemas sin resolver más antiguos de las matemáticas, con una recompensa de un millón de dólares por una demostración general. El avance amp
Veinticinco ganadores del Premio Fields firmaron una carta abierta denunciando un «severo desalineamiento» entre los objetivos de las empresas de inteligencia artificial y la comunidad matemática. Los signatarios argumentan que la industria prioriza el anuncio apresurado de soluciones sobre el rigor
Jean-Pierre Serre es un matemático francés de renombre mundial, reconocido por su contribución fundamental a la topología algebraica y la geometría. Nacido en Bages, Francia, en 1925, su interés por las matemáticas surgió a temprana edad, impulsado por la lectura de libros de cálculo de su madre. Tr
La startup rusa Mostik ha desarrollado una técnica que permite a distintos modelos de inteligencia artificial intercambiar información directamente a través de sus pesos matemáticos internos, sin necesidad de producir texto intermedio. El método, encabezado por la CEO Sasha Malysheva, permite combin
El matemático Tristan (junto con Levent Alpöge) ha hecho públicos tres resultados de blowup en tiempo finito con forzamiento suave: para la ecuación de medios porosos incompresibles, para las ecuaciones de Boussinesq y para las ecuaciones de Euler incompresible en tres dimensiones. Los autores creen
André Weil fue uno de los matemáticos más influyentes en la historia de la geometría algebraica, y su escepticismo hacia la Conjetura de Hodge marcó el desarrollo de la disciplina. Aunque Weil no interactuó directamente con André Hodge, su trabajo reorganizó la teoría de Hodge en un lenguaje más cla
Veinticinco matemáticos de élite, todos galardonados con la Medalla Fields, la máxima distinción en la disciplina, han firmado una carta abierta denunciando a OpenAI por presionar académicos y presuntamente plagiar su trabajo intelectual. La controversia estalla tras la publicación de una prueba par