DeepSeek R1推理功夫了得！

注意，要点一下左下角的 DeepThink (R1) 。

我问了这个经典问题：

Say there are more than one finite number of points on a Euclidean plane, and they are not falling on a single straight line.  Proof that there exists a straight line that goes through only two of those finite points.

它洋洋洒洒考虑了好几分钟，写了好几段怎么思考，最后居然证明了！