Contractor request to solve the P=NP problem in constant time. Ambitious!
The purpose of this project is to create a debugger program. This program will take as input the source code another program, and will analyze that other program and determine if it will run to completion, or have an error, or go into an infinite loop.
It sounds so simple, but yet is so complex. Relevant xkcd.