Ответ:

Всего загадок: 10.

Осталось отгадать: 3.

Отгадано Антоном: \( 10 - 3 = 7 \) загадок.

Ответ: 7