August 4, 2026
El debate open source de Devtools copa HN, reescribir a mano el código de los LLM y los diez avances matemáticos de OpenAI marcan el día
DevtoolsCódigo AbiertoLLMDeuda Cognitiva
#matemáticas
17 artículos · Todas las etiquetas
📰 Digests
📡 Events
September 13, 2026
10.000 agentes de IA resuelven un enigma de 90 años: por qué el premio de un millón de dólares tardará 3 años
IAMatemáticasOpenAI
September 12, 2026
25 medallistas Fields firman una advertencia: el benchmarking de la IA en matemáticas agota el suelo del conocimiento
IAMatemáticasControversia Técnica
September 9, 2026
Resuelto un problema del milenio de un millón de dólares: el poder de cómputo de OpenAI explota borradores matemáticos
Inteligencia ArtificialMatemáticasOpenAI
September 7, 2026
La advertencia de Terence Tao: por qué resolver Navier-Stokes con una IA de caja negra contamina las matemáticas
MatemáticasIATerence Tao
September 5, 2026
El último teorema de Fermat resuelto por IA en 11 días: el fin de la revisión humana tradicional
IAMatemáticasAutomatización
August 23, 2026
¿Cómo repartir con equidad absoluta? Matemáticos resuelven un dilema de desequilibrio de 30 años
CienciaMatemáticas
August 13, 2026
Las ondas cuánticas escapan de cualquier laberinto fractal: Un doctorando del MIT de 25 años demuestra el principio de incertidumbre fractal en altas dimensiones
CienciaMatemáticas
August 10, 2026
Los matemáticos creían que solo había 2 hexágonos mágicos: un nuevo avance prueba que existen infinitos
MatemáticasDivulgación CientíficaDemostración
August 4, 2026
OpenAI Astra resuelve 10 problemas matemáticos inéditos por solo 2.000 dólares
iamatemáticasopenai
August 3, 2026
Una IA 'desmiente' un enigma matemático de 90 años: el verificador falló primero
IAMatemáticasVerificación Formal
July 28, 2026
1294 puntos en HN: ¿Destino matemático o error humano? La teoría de los bugs de Wolfram
matemáticasbugssoftwarefilosofía
July 26, 2026
La noche oscura de las matemáticas: cuatro crisis que redefinieron la disciplina
MatemáticasFilosofía de la CienciaPensamiento
July 23, 2026
El genio matemático Terence Tao usa ChatGPT para resolver un problema centenario
IAMatemáticasChatGPTTao
July 22, 2026
La IA encuentra contraejemplos matemáticos: las conjeturas de Erdős, Grothendieck y la Jacobiana caen en dos meses
IAMatemáticasLeanVerificación Formal
July 19, 2026
GPT-5.6 prueba con un solo prompt que un algoritmo de hace 30 años ya tocó su límite
IAGPT-5.6MatemáticasDemostración Formal
July 4, 2026
Un bug oculto durante 16 años que las matemáticas encontraron en 20 pasos
SQLiteTLA+Verificación FormalWAL