most software engineers today are employed to solve unsolved mathematical and computer science problems or IMO-style problems.