チューリングテストより数学的に厳密な、人工知能の定義って何か進展がありますか?