⚡️Терренс Тао: AI может сделать доказательства массовыми раньше, чем математика успеет к этому адаптироваться