top | item 46970525

First Proof

1 points| wanderingmind | 19 days ago |1stproof.org

1 comment

order

matjet|17 days ago

At this time, the competition is soon finishing - with no models having succeeded. Given the incentives for top labs, and the short time needed for a successful automated solution, we can make a reliable upper bound on the capability of current models - better than any normal benchmaxed datasets.

What I would like to see is an easier version of this same format.