o3-mini碾压DeepSeek R1？一条python程序引发近400万围观