Gukov's work is focused on developing AI systems that can tackle hard research-level math problems. Solving challenging mathematical tasks (such as proving or disproving long-standing conjectures or establishing difficult theorems) often requires discovering intricate, multi-step solutions. His team's mission is to use these hard mathematical problems as environments to design new AI algorithms and architectures that can identify rare solutions carrying disproportionately high rewards.
