lukeprog comments on Building toward a Friendly AI team

[lukeprog]

I said “the IMO medal-winning level.”

IMO performance isn’t the only metric which strongly predicts elite math ability.