search
AI-generated mathematics
Trends
- 1OpenAI publishes mathematical manuscripts and proof artifacts●Mathematical manuscripts and supporting proof artifacts produced by OpenAI
OpenAI has released a public repository of mathematical manuscripts and the supporting proof artifacts generated by its models. The collection gives researchers and mathematicians material to examine how the company's AI systems construct and verify formal proofs. Discussion is centered on the quality and rigor of machine-produced mathematics.