Task: Translation
Input (English): English sentence: He made his first mathematical discovery at the age of five when he worked out the formula for the sum of an arithmetic progression.
Output (Tagalog): Siya na ginawa ng kanyang unang matematiko diskubre sa edad na limang kapag siya nagtrabaho ang mga formula para sa kabuuan ng isang arithmetic paglala.