[general_dat] Seminario ModEsto - Sebastian Zaninovich - ¿θ(p_c)=0?

[Pablo Groisman]

*Seminario de Modelos Estocásticos*

Viernes 11/9, 12.00hs. Sala de conferencias del Departamento de Matemática

Sebastián Zaninovich (IMAS - Dpto de Matemática, Exactas/UBA)

*¿θ(p_c)=0?*

Este viernes 11/9, a las 12hs en la sala de conferencias, dedicaremos el
seminario ModEsto a discutir la demostración anunciada de la conjetura
θ(p_c)=0. Será una charla informal, a cargo de Sebastián Zaninovich (IMAS).

La idea principal del encuentro es contar el problema para público
no-probabilista y discutir sobre el estatus del mismo, dado lo
no-convencional de su aparente prueba.

Para llegar con las expectativas calibradas, un resumen de lo que hay. El
material disponible es el repositorio anthropics/formal-math en GitHub: una
formalización en Lean 4/Mathlib de 247 archivos y unas 87.000 líneas,
escritas en su totalidad por Claude bajo la dirección de Justin Leder
(según el README, ningún humano escribió ni editó el código). La estrategia
es la reducción de Kozma–Nitzan, quienes probaron que su Conjetura 3
implica θ(p_c)=0 en Z^d para todo d≥2. El repositorio afirma probar esa
Conjetura 3.

Desafortunadamente, no existe un manuscrito matemático público. Gil Kalai
observó que todavía faltan bastantes detalles para que un experto pueda
digerir la prueba. El README también es explícito en que el trabajo no fue
revisado por nadie independiente del autor, y en que la verificación
mecánica no garantiza que los enunciados formales digan lo que uno cree que
dicen: hay que leer el archivo Challenge.lean y convencerse de que enuncia
θ(p_c)=0 para percolación de aristas en Z^d, d≥2.

Para más información sobre la conjetura, recomendamos ver este video:
https://www.youtube.com/watch?v=a-767WnbaCQ&t=9s

Están todas/os invitadas/os.

Para más información sobre el grupo de Probabilidad y Modelos Estocásticos:
https://mate.dm.uba.ar/~modesto/

*Los encuentros del seminario ModEsto tienen lugar los viernes a las
12.00hs. Son abiertos a todo público y mayormente informales así que no
siempre los anunciamos por esta vía. Quienes quieran recibir información de
todos los encuentros, por favor unirse al grupo de telegram o enviarme un
mail.

https://t.me/+EHK1RU3WS4YyMzdh