使用Python算法实现小白鼠测毒问题的自动求解，即输入水瓶数量后，自动求解出至少所需小白鼠的最少数量。

以下是使用Python算法实现小白鼠测毒问题自动求解的代码：

import math

def calc_min_mice(num_bottles):
    num_bits = math.ceil(math.log2(num_bottles))
    num_mice = num_bits

    return num_mice

# 测试
print(calc_min_mice(8)) # 输出3，即最少需要3只小白鼠

该算法中，`num_bits` 表示用二进制编码时，所需的位数，即最小覆盖所有瓶子的二进制数的位数。而 `num_mice` 则表示至少需要的小白鼠数量，即二进制数的位数。

在本例中，瓶子数量为8，所需的位数为3，因此最少需要3只小白鼠。

注意：此算法仅适用于瓶子数量是2的n次方的情况。如果瓶子数量不是2的n次方，那么需要进行额外的处理。