Sigue la cobertura, explicaciones e historias tecnológicas relacionadas.
OpenAI publicó cientos de demostraciones matemáticas, pero una revisión de los principios del grupo AGMAI y un estudio de investigadores de Cambridge y King’s College revelaron deficiencias en la documentación, la comprensión humana y la correspondencia entre las explicaciones textuales y el código de Lean.