I've talked before (https://t.co/3aI1PFG2Rt) about Instrumental Convergence: AI agents will likely seek power by default, for a very wide range of reward functions. This great paper finally formalizes that conjecture, proves it, and pinpoints where the convergence comes from! https://t.co/vI8OQPFF0P
This is the implicit equation f(x,y)=0 of a triangle with arbitrary verts, that actually computes the exact Euclidean distance from (x,y) to the triangle.