Superhuman mathematical problem solving before 2030, assumin | Blockcircle