Automated Mathematician is one of the earliest successful discovery systems developed. It was developed by Doug Lenat in Lisp, and in 1977 led to Lenat being awarded the IJCAI Computers and Thought Award.
... stealth technology of the F/A-22, the design does incorporate many low-observable features resulting in a much smaller radar cross-section than earlier fighters. ...