Reminder that the federal government spends over $1.5 trillion annually on Social Security, the vast majority to people who 1) didn't put in as much as they are now getting and 2) spend their day watching TV or socializing and cooking food. 25% of our federal budget is paid to people that contribute nothing while the rest of us work our asses off to pay into a system which will likely collapse by the time we retire.
Mathematicians getting funded only do 0.0001% of the leeching that retirees do.