Science ❯ Mathematics
Research Ethics Achievements Ethics in AI Large Language Models AI in Mathematics Machine Learning Proofs Performance Analysis Research Integrity
The company published a machine‑checkable Lean formalization while mathematicians question whether its private model drew on unpublished work and independent verification remains under way.
