La reunión más grande del mundo de matemáticos se reunió en Seattle del 8 de enero al 11 de enero a 5,444 matemáticos, 3,272 conversaciones. Este año, el programa divergió un poco de su panorama caleidoscópico tradicional. Bryna Kra, la presidenta de la American Mathematical Society, que organiza el evento en colaboración con 16 organizaciones asociadas, estableció un tema oficial, “Matemáticas en The Age of AI”, que organiza el evento en colaboración con 16 organizaciones asociadas. En una configuración u otra, la reunión, llamadas reuniones de matemáticas conjuntas, o el JMM, se ha celebrado más o menos anualmente durante más de un siglo.
El Dr. Kra pretendía el tema de AI como una “llamada de atención”. “La IA es algo que está en nuestras vidas, y es hora de comenzar a pensar en cómo afecta a su enseñanza, sus alumnos, su investigación”, dijo en una entrevista con The New York Times. “¿Qué significa tener IA como coautor? Estos son los tipos de preguntas con las que tenemos que lidiar “.
En la segunda noche, Yann Lecun, el jefe científico de IA en Meta, dio una conferencia magistral titulada “Obstáculos matemáticos en el camino a la IA de nivel humano”, el Dr. Lecun se metió un poco en las malas hierbas técnicas, pero había tarifas digeribles.
“El estado actual del aprendizaje automático es que apesta”, dijo durante la conferencia, a mucho ritmo. “No importa a los humanos, no importa tratar de reproducir matemáticos o científicos; Ni siquiera podemos reproducir lo que un gato puede hacer “.
Argumentó que los modelos generativos de lenguaje grande que alimentan los chatbots modelo mundial“Sería la mejor apuesta para avanzar y mejorar la tecnología. Tal sistema, dijo en una entrevista después de la conferencia, “puede razonar y planificar porque tiene un modelo mental del mundo que predice las consecuencias de su acción”. Pero hay obstáculos, admitió, algunos problemas matemáticamente intratables, sus soluciones en ninguna parte a la vista.
Deirdre Haskell, directora del Instituto Fields de Investigación en Ciencias Matemáticas en Toronto y matemática en la Universidad de McMaster, dijo que apreció el recordatorio del Dr. Lecun de que, como recordó, “la forma en que usamos el término IA hoy es solo una forma de una forma posiblemente tener una ‘inteligencia artificial’ “.
El Dr. Lecun había señalado en su conferencia que el término inteligencia general artificial, o AGI, una máquina con inteligencia a nivel humano, era un nombre inapropiado. Los humanos “no tienen inteligencia general en absoluto”, dijo. “Estamos extremadamente especializados”. El término preferido en Meta, dijo, es la “inteligencia de la máquina avanzada” o ami: “lo pronunciamos ‘ami’, lo que significa amigo en francés”.
El Dr. Haskell ya se vendió sobre la importancia de “usar la IA para hacer matemáticas y el enorme problema de comprender las matemáticas de la IA”, una experta en lógica matemática, planea usar un programa de administración del teorema para crear el equivalente de un libro de texto : Una colección de resultados que pueden utilizar los sistemas AI para generar y verificar investigaciones y pruebas matemáticas más complejas.
Para Kenny Banks, un estudiante universitario de la Universidad de Carolina del Norte en Greensboro que asistió al JMM, la inteligencia artificial no atrae como una herramienta para guiar la exploración. “Creo que las matemáticas que la gente ama actualmente está impulsada por la curiosidad humana, y lo que las computadoras encuentran interesante no pueden ser lo mismo que los humanos encuentran interesante”, dijo en un correo electrónico. Sin embargo, lamentó no apretar ninguna conversación relacionada con la IA en su itinerario. “El tema Math + AI fue definitivamente de interés, ¡simplemente terminó sin trabajar con todas las cosas que había planeado!”
Aquí hay otros aspectos destacados de Mathapalooza en Seattle:
Día 1
A las 6 pm del miércoles 8 de enero, después de una ceremonia de corte de cinta y premiación, los asistentes se estamparon en la recepción de la gran apertura en una sala de exhibiciones. El sorteo fue a) comida gratis, yb) puestos de expositores ocupados por editores y proveedores de varias mercancías de Mathy. En Booth 337, Robert Fathauer estaba vendiendo un impresionante inventario de dados, incluido el nuevo “5 jugadores Go First Dice“,” Un conjunto colorido de cinco dados de 60 lados que no comparten número en común, lo que permite a cinco jugadores de juego un tiro igual cuando rodan para determinar quién comienza primero. El Dr. Fathauer, con sede en Arizona, también fue coorganizador de la exhibición de arte de la reunión y contribuyó con dos esculturas de cerámica, “helicoide hiperbólico” y “apretón cúbico”.
Las galardonadas presentaciones de arte de la exhibición fueron “Saddle Monster”, ganchillo en lana, cobre y nylon, al shiying Dong de Greenwich, Connecticut, un artista matemático con un Ph.D. en física …
… y “retorcido” y “sin observación”, creada usando una aplicación de gráficos vectoriales en un iPad, de Rashmi Sunder-Raj, un artista matemático en Waterloo, Ontario.
Rebecca Lin, un Ph.D. Estudiante en informática en el MIT, recibió una mención de honor por un grabado con láser en papel titulado “Desintegración (Estado de la mente)”.
Día 2
El jueves, Jon Wild, un teórico de la música de la Universidad McGill en Montreal que hace matemáticas en el lado, fue invitado a una sesión sobre matemáticas aplicadas para discutir sus investigaciones sobre “Cuenta de acuerdos de círculos” en el avión. Dadas ciertas restricciones, hay una forma de dibujar un círculo, tres formas de dibujar dos círculos, 14 formas de dibujar tres, 173 formas para cuatro y 16,951 formas de dibujar cinco. (La enumeración de seis círculos aún no se ha calculado). El Dr. Wild se sorprendió al saber que esta investigación era relevante para la impresión 3-D: es decir, para cómo múltiples cabezas de impresora podrían rastrear arcos circulares mientras evitaba colisiones. “Me cosqué”, dijo el Dr. Wild.
Durante una sesión sobre Matemáticas y Artes, Susan Goldstine, matemática en St. Mary’s College of Maryland, dio una conferencia sobre su proyecto de artesanía “Poinctaré Blues”. Llamado así por el matemático francés Henri Poincaré, el proyecto consistió en hacer una falda de mezclilla de Old Jeans. Como ella describió en un artículo: “Después de fideos con diferentes patrones, me decidí por el mosaico del modelo de disco de Poinctaré del plano hiperbólico por triángulos de 30º-45º-90º”, que le era familiar desde una ilustración por el clásico Geometer HSM Coxeter (y que también inspiró al artista holandés Mc Escher).
Día 3
Al mediodía, la sesión de póster de pregrado estaba con exposiciones sobre temas que incluyen la sincronización del tiempo lunar; Las matemáticas del ajuste del piano; bucles en un espacio cuatro dimensional; y un modelo para la contención de incendios forestales, la propagación de humo y sus consecuencias para la salud pública.
Durante otra sesión sobre Matemáticas y las Artes, Barry Cipra, un matemático de Minnesota, dio una charla sobre “Gelbes Feld“(” Campo amarillo “), una pintura del artista suizo capacitado en Bauhaus Max Bill.
Puede parecer un lienzo sólido de color, dijo el Dr. Cipra, pero hay un patrón débil de puntos contrastantes o, más precisamente, cuadrados. “Veamos una versión abstracta del resumen de Bill”, dijo. “¿Puedes detectar lo que está haciendo Bill?”
Según el análisis del Dr. Cipra, el artista codificó en la pintura un clásico cuadrado mágico de 3 por 3, una variedad cuadrada de números que forman un rompecabezas lógico en el que la suma de cada fila, columna y diagonal es igual a 15.
Otra peculiaridad fue que cada fila, columna y diagonal tenían cinco PIP (como en dados o dominó):
El Dr. Cipra señaló: “Parece que Bill planteó y resolvió un problema de matemáticas originales y lo escondió en una pintura: ¿puedes colocar las pips dentro de cada cuadrado del cuadrado mágico 3 por 3 para que haya exactamente cinco PIP a lo largo de cada uno? fila, columna y diagonal principal de la subgrid de 9 por 9? Se puede hacer la misma pregunta por 5 por 5 y cuadrados mágicos más grandes de tamaños impares, dijo. “Pero está lejos de ser claro cuál será la respuesta”.
El Dr. Goldstine encontró que el descubrimiento del Dr. Cipra era convincente. “Siempre estoy emocionada cuando las matemáticas aparecen en un lugar donde no lo esperarías “, dijo en un correo electrónico. “A menudo uso estas sorprendentes conexiones para que los estudiantes que puedan tener miedo o aburrido de las matemáticas vean parte de su belleza”.
Día 4
El último día ofreció una serie de eventos públicos, incluido un mini festival de matemáticas con rompecabezas y juegos prácticos.
“¿Por qué es matemática?” preguntó Aleksandra Upton, de 7 años, de un rompecabezas geométrico.
“Debido a que podemos contar todas las diferentes formas en que juntamos las formas”, dijo su madre, Karolina Sarnowska-Adton, gerente de ingeniería de software en Microsoft en Redmond, Wash.
En una conferencia pública, Ravi Vakil, matemático en Stanford y el presidente entrante de la American Mathematical Society, exploró el simultáneamente juguetón y profundo “Matemáticas del garabato. “
En otro, Eugenia Cheng, matemática y pianista de la Escuela de Arte del Instituto de Arte de Chicago, se dirigió a “matemáticas, arte, justicia social”. Uno de sus mensajes sobresalientes: “Pure Mathematics es un marco para acordar las cosas”. Ella cantó parte de la conferencia junto con un video grabado de sí misma tocando el piano.
Y hubo un estreno mundial de una película documental, “Creación de caminos”, el segundo en el “”Viajes de matemáticos negros“Serie del director George Csicsery. (Se transmite En estaciones de televisión pública en febrero.) El consultor senior de la película fue Johnny Houston, profesor emérito en la Universidad Estatal de Elizabeth City en Carolina del Norte. Después de la proyección, el Dr. Houston comentó sobre la puntualidad del estreno de 2025: en 1925, Elbert Frank Cox se convirtió en la primera afroamericana, y la primera persona negra del mundo, en recibir un Ph.D. en matemáticas. De su propio viaje, y el de muchos matemáticos negros, el Dr. Houston dijo que con exposición, experiencia y oportunidad, “podemos hacerlo tan bien como cualquier matemático para obtener un Ph.D. y más allá “.
La última de las conversaciones terminó esa noche. A las 3 de la mañana, a la mañana siguiente, cuando algunos asistentes se dirigían al aeropuerto, dos matemáticos se dirigían a la cama, pero no antes de viajar en el lobby del hotel para pedir una recepción para un pago tardío.
