OpenAI publica 719 manuscritos matemáticos generados por IA con pruebas Lean

1) openai/math: 719 manuscritos de un modelo interno con 42% formalizado en Lean, la IA produciendo ciencia abierta. 2) storytold/wordcraft: la saga salta de Adobe a Microsoft, ya 8 repos. 3) Compositor+spotifast: voto masivo por apps nativas frente a Electron y suscripciones.