>>105983542
"mere autocomplete" can solve novel olympiad level math problems?