Full threadBinRoo·Aside: the AI summary of this attributes the wrong person. This is Andrew Wiles.View on HN