3 ms·To be clear, AIs didn't beat IMO, or the best human competitors at IMO, on these terms.by peteyreplies 1y agoTo be clear, AIs didn't beat IMO, or the best human competitors at IMO, on these terms.