AM: discovery in mathematics as heuristic search. Example: discovering prime numbers. Agenda. Heuristics. Concepts. Results. Evaluating AM. Appendixes. Concepts. Heuristics. Trace. Bibliography. Teiresias: applications of meta-level knowledge. Explanation. Knowledge acquisition. Strategies. Conclusions. References
