ここ数週間のAIの進歩により、人類の証明を解決することは実存的なものとなりました