General formula for bi-aspheric singlet lens design free of spherical aberration

Gizmodo provides some context on this discovery: https://gizmodo.com/a-mexican-physicist-solved-a-2-000-year-...

I'm not a physicist, so I take their claims with a grain of salt, but this seems like an important find.