How NuminaMath Won the 1st AIMO Progress Prize - Tech Sentiments