Community Assessment of AI Progress on High-Level Mathematical Reasoning | HACKOBAR_