When a German retiree proved a famous long-standing mathematical conjecture, the response was underwhelming.