Los matemáticos ponen a trabajar la IA en el último teorema de Fermat
Pierre de Fermat fue un matemático del siglo XVII. Lebrecht Música y Artes, YAY Media AS/Alamy En el vestíbulo de un hotel del centro de Londres, los turistas se preparan…
Cómo el ‘teorema de la bola peluda’ de las matemáticas podría explicar los días con mal cabello
Este artículo es de Proof Positive, nuestro amigable boletín informativo de matemáticas que se envía a su bandeja de entrada todos los martes por la tarde. Regístrate hoy y léelo…
Los mejores libros de ciencia: El último teorema de Fermat sigue siendo una lectura obligada sobre un secreto matemático de 350 años
¿Cómo se mantiene hoy el clásico libro de divulgación científica de Simon Singh, El último teorema de Fermat? ¿Sabías que el número 26 es bastante especial? Es el único número…
El teorema de incompletitud de Gödel: el hombre que arruinó las matemáticas
Lógico, matemático, filósofo y destructor Kurt Gödel Prensa pictórica/Alamy Kurt Gödel, el hombre que arruinó las matemáticas, fue uno de los pensadores más importantes del siglo XX. Nació en 1906,…
Las ondas gravitacionales finalmente demuestran el teorema de agujeros negros de Stephen Hawking
Ilustración de dos agujeros negros que se fusionan y envían ondas gravitacionales a través del cosmos Maggie Chiang para la Fundación Simons Stephen Hawking’s El teorema de 50 años sobre…
La mejor medición de la fusión de agujeros negros confirma Einstein, Hawking y el teorema de “no cabello”
10 de septiembre de 2025 5 Leer mínimo Las nuevas mediciones de agujeros negros muestran más formas en que Stephen Hawking y Albert Einstein tenían razón Las ondas de tiempo…
Bytedance presenta la semilla: un sistema de razonamiento formal avanzado para la prueba de teorema matemático automatizado
Los LLM han mostrado mejoras notables en el razonamiento matemático al extenderse a través del lenguaje natural, lo que resulta en ganancias de rendimiento en puntos de referencia como las…
Deepseek-AI lanzó Deepseek-Prover-V2: un modelo de lenguaje grande de código abierto diseñado para el teorema formal, demostrando a través de la descomposición subggoal y el aprendizaje de refuerzo
El razonamiento matemático formal se ha convertido en un subcampo especializado de inteligencia artificial que requiere una consistencia lógica estricta. A diferencia de la resolución informal de problemas, que permite…
Teorema de Bayes: comprender los resultados empresariales con evidencia | de Sunghyun Ahn | diciembre de 2024
Una introducción práctica al teorema de Bayes: serie de probabilidad para la ciencia de datos (2) Foto por Markus Spiske en desempaquetar Si no es miembro pago de Medium, pongo…
Cómo aplicar el teorema del límite central a datos restringidos | de Ryan Burn | diciembre de 2024
¿Qué podemos decir sobre la media de los datos distribuidos en un intervalo? ? Imaginemos que estamos midiendo el índice de aprobación de un político impopular. Supongamos que tomamos una…