Etiqueta

#lean

2 notas publicadas

OpenAI publica 722 manuscritos de matemáticas hechos por un modelo

El repositorio reúne resultados de teoría de números, complejidad y física matemática, y parte de las demostraciones viene formalizada en Lean.

Interesting Engineeringhace 3 días

IA resuelve un problema matemático del milenio de 1 millón

Un grupo de 10.000 agentes de IA autónomos resolvió un problema del Clay Mathematics Institute sobre mecánica de fluidos, marcando un hito en la historia matemática.

Quanta Magazine9 sep

Etiquetas relacionadas

Otros temas que aparecen junto a #lean en nuestra cobertura editorial.

#matematicas2 #Openai2 #Inteligencia Artificial1 #navier-stokes1 #investigacion-cientifica1 #razonamiento-ia1 #Investigacion1