Text this: Hilbert's Seventh Problem