A question: if a human had done any of this would you have considered their actions "intelligent"? If a human proves a specific new mathematical result or disproves an 80 year old conjecture how would *you* rate that? What is *your* surefire test of intelligence?