Ramanujan Challenge Results: AI-Assisted Evaluation Pipeline for Multi-Format Proofs
Evaluates AI proof pipelines on research-level number theory problems.
Explainer · on the wire
The explainer for this story is still on the wire.
The claim, the mechanism, and the figures land here once generated.
Source · arXiv