OpenAI says its AI produced more than 370 families of mathematical results, raising questions about proof verification, originality and credit for human research.

Mind’s AI system, AlphaProof, provided Lean with proofs of three of the competition’s problems. A year later, four AI systems performed at the level of a gold medalist. However, problems posed at the ...

The Library of Alexandria became the ancient world’s most famous symbol of lost knowledge, but its disappearance was not a single simple disaster. Its fate raises the question of how much literature, ...