All news

PublicationBenchmarks

First Proof Second Batch

Ten research-level problems, methods, model attempts, human solutions, referee reports and logs in one public record. It is a high-quality capability evaluation, but only for its selected tasks and systems.

MathPaperAI
Sources

Source 1 of 1

arXiv:2606.18119

arxiv.org

Ten research-level problems, methods, model attempts, human solutions, referee reports and logs in one public record.

Open original

Summary

It is a high-quality capability evaluation, but only for its selected tasks and systems.

  1. 01arXiv:2606.18119