person · 5 menciones
Peter Scholze es un matemático, investigador y profesor alemán.
Vi Hart, exinvestigadora de Microsoft Research, ha publicado una serie de artículos en su blog para cuestionar la credibilidad de la solución a las ecuaciones de Navier-Stokes anunciada por OpenAI. Hart, quien trabajó brevemente con el equipo de Lean, un asistente de pruebas formales, argumenta que
La comunidad matemática se encuentra en un estado de profunda crisis y desconfianza tras el anuncio de que modelos de inteligencia artificial han resuelto problemas matemáticos complejos que antes requerían esfuerzo humano. Este fenómeno ha generado una reacción dividida, descrita por el autor como
Un grupo de 25 matemáticos galardonados con la Medalla Fields ha publicado un manifiesto este viernes para denunciar la desalineación de objetivos entre las empresas de inteligencia artificial, como OpenAI, y la comunidad matemática. La iniciativa surge tras el anuncio de OpenAI sobre la resolución
Veinticinco de los matemáticos más prestigiosos del mundo, todos ellos galardonados con la Medalla Fields, han firmado una declaración conjunta que denuncia una profunda desalineación entre los objetivos de las empresas de inteligencia artificial y los de la comunidad matemática. Esta iniciativa, im
La comunidad matemática debate si la adopción masiva de Lean como asistente de demostración interactiva (ITP) ha llegado a un punto de no retorno o si aún es viable apoyar una alternativa con base en teoría de conjuntos. El autor recuerda que hace tres años Lean ya acumulaba impulso gracias al Proye