Solution of the Robbins problem. Creation in silicon. Kolata, G. 1996. With major math proof, brute computers show flash of reasoning power. Peterson, I. 1988.
Search yields math proof no one can check.
Sangalli, A. 1991. The burden of proof is on the computer. Wos, L. 1985. New political forces are prompting a reconsideration of marijuana's medicinal role in a variety of diseases. Feb. 19, 1997.