イギリスの数学者アティヤ氏が微細構造定数導出のオマケでリーマン予想を証明したと話題