Asistí a los talleres de marzo y julio y también fui pasante durante el verano. En general, encontré estas experiencias agradables. Separaré los comentarios sobre los talleres y sobre la pasantía.
Talleres: ¡ son muy divertidos! MIRI tiene algunos problemas interesantes en y alrededor de la lógica matemática que les gustaría que los matemáticos vieran, y no tiene que preocuparse por las motivaciones de MIRI para ver estos problemas para interesarse y trabajar en ellos.
Aquí hay un ejemplo: recuerde que Tarski (http://en.wikipedia.org/wiki/Tar…) demostró que una teoría de primer orden que satisface algunas hipótesis razonables no puede contener su propio predicado de verdad. Es decir, no puede contener un predicado, tomando como entrada el número de Gödel de una oración en la teoría, de modo que el predicado aplicado al número de Gödel es equivalente a la oración misma. Desde la perspectiva de un agente que razona sobre el mundo utilizando una lógica de primer orden, esto es inquietante: dicho agente no puede confiar en sí mismo para creer cosas que son verdaderas. Los participantes en un taller anterior demostraron que esta restricción puede eludirse siempre que relajemos la noción de un predicado de verdad y solicitemos un predicado de probabilidad : es decir, el agente ahora asigna probabilidades en lugar de valores de verdad a las oraciones, y estas asignaciones están relacionadas a los valores de verdad reales en un sentido adecuado. Vea la página sobre Inteligencia para más detalles. En el taller de abril trabajamos para fortalecer y mejorar este resultado en varias direcciones.
- ¿AlphaGo hizo uso de redes generativas adversas?
- Cómo proceder para hacer una carrera en inteligencia artificial después de mi duodécimo estándar
- ¿Quién es la IA más malvada, inteligente y poderosa en los juegos?
- ¿Cuáles son los próximos desafíos posibles para que DeepMind de Google fascine al mundo?
- Cómo explicar el carácter escrito a mano usando la red neuronal
En el lado no matemático, los talleres están bien atendidos y asisten personas interesantes; Escuché que John Baez (John Baez’s Stuff) asiste al taller de diciembre. Disfruté conocer y trabajar con los otros participantes del taller y, en general, lo pasé muy bien.
Probablemente, el principal beneficio profesional que obtuve al asistir a los talleres fue establecer contactos con otros matemáticos jóvenes también interesados en cosas de MIRI. Hasta que los talleres se conozcan mejor, no está claro si contarán para algo más directamente en mi futuro profesional, pero estaba feliz de ayudar a MIRI, así que esto no fue tan importante para mí.
Pasantía: MIRI tiene ideas interesantes pero históricamente no ha publicitado esas ideas de la manera tradicional, por ejemplo, a través de publicaciones en revistas. Durante mi pasantía trabajé en escribir un documento expositivo sobre una idea particular (la teoría de la decisión intemporal). Ese papel no terminó siendo escrito, debido principalmente a mi propia negligencia; se está convirtiendo en una secuencia de publicaciones de blog en mi blog de matemáticas en su lugar (Precisión molesta).
En general, disfruté la oportunidad de pasar el rato y trabajar en las oficinas de MIRI. Son personas muy interesantes. No está claro qué sacaré de esto profesionalmente, pero, nuevamente, estaba feliz de ayudar a MIRI.