| Field of | Computer Science |
| Discovery | Early 1940s Europe |
| Focuses on | Automatically generating software programs |
| Techniques | Constraint solving • Evolutionary computation • Machine learning |
| Applications | Development of electronic computers • Programming languages development • Automatic generation of machine learning models • Creating mathematical proofs • Generating sophisticated software systems |
| Modern algorithm abilities | Automatically generating machine learning models • Producing mathematical proofs • Creating complex software systems |
