Ramanujan Challenge Results: AI-Assisted Evaluation Pipeline for Multi-Format Proofs
As AI's mathematical capabilities rapidly improve, meaningful benchmarks are shifting from university-level problems and math olympiads to research-level mathematics. The Ramanujan Challenge is a benchmark comprised of research-level problems in number theory, including unpublished results and open conjectures. It presented concrete formulas for mathematical constants whose correctness can be…
We haven't written up this one. arXiv cs.AI has the full story — the link below goes straight to it.
