ManifoldActiveMULTIPLE_CHOICE · cpmm-multi-1

Which, if any, GPT-n will outperform AlphaGeometry merely via prompting, by 2030?