Follow the latest coverage, related explainers and connected technology stories.
OpenAI released hundreds of mathematical proofs, but a review of the AGMAI group’s principles and a study by researchers at Cambridge and King’s College revealed shortcomings in documentation, human understanding, and consistency between textual explanations and Lean code.