It briefly was at $1143 but that was not an ATH.

What this thread and the charts are about is weighted daily averages, not individual trade prices.