後から"着いてきた"は正しいが、もうその時代は終わった
「未解決問題解けました、コンピュータでは証明が確認できないような新しい基礎が必要です」などと言っても、数学者のコンセンサスとして認められることは無い