Пусть дальше пишет свой год. На год старше писать сложно и это не значит, что у него нет шансов. Если есть желание заниматься олимпиадной математикой, найдите ему какие-то онлайн-курсы, пусть методично изучает именно олимпиадные темы, они и правда отличаются от школьной программы часто. Но бывают и так называемые технические олимпиады, где большинство задач это углубленная школьная программа. В 9-м пусть пишет не только ВСОШ, на ВСОШ замахиваться на закл не стоит. Есть масса перечневок, которые вполне берутся детьми из сильных школ при минимальной доп. подготовке, но сильно облегчают поступление. Ребенок со 2-м дипломом матпраздника имеет очень хорошие шансы на успехи в перечневках.