Detailed Instructions: This task is about creating an unanswerable question based on a given passage. Construct a question that looks relevant to the given context but is unanswerable. Following are a few suggestions about how to create unanswerable questions:
(i) create questions which require satisfying a constraint that is not mentioned in the passage
(ii) create questions which require information beyond what is provided in the passage in order to answer
(iii) replace an existing entity, number, date mentioned in the passage with other entity, number, date and use it in the question
(iv) create a question which is answerable from the passage and then replace one or two words by their antonyms or insert/remove negation words to make it unanswerable.
Problem:Passage: In 1967, Manuel Blum developed an axiomatic complexity theory based on his axioms and proved an important result, the so-called, speed-up theorem. The field really began to flourish in 1971 when the US researcher Stephen Cook and, working independently, Leonid Levin in the USSR, proved that there exist practically relevant problems that are NP-complete. In 1972, Richard Karp took this idea a leap forward with his landmark paper, "Reducibility Among Combinatorial Problems", in which he showed that 21 diverse combinatorial and graph theoretical problems, each infamous for its computational intractability, are NP-complete.
Solution:
Who developed an axiomatic complexity theory based on his axioms in 1974?