Suivez les dernières actualités, explications et histoires technologiques associées.
OpenAI a publié des centaines de preuves mathématiques, mais un examen des principes du groupe AGMAI et une étude menée par des chercheurs de Cambridge et du King’s College ont révélé des lacunes dans la documentation, la compréhension humaine et la concordance entre les explications textuelles et le code Lean.