对於福克斯型的方程组，证明还需要附加条件。
所以在 1989年的时候，博利布鲁赫直接拿出了一个反例，将这个事否定了。
小黑眼前的难点也是在从局部到整体这一步。
如果要继续往下推的话，就得先造出一个能把整体余项压住的新工具。
偏偏这样的数学工具还没人做出来。
小黑自然不信邪，不就是一个小小的数学工具吗？
他狠下心把那 1000开刷短视频的算力也全挪了过来，连花椒都顾不上现炒现磨了，计算机学部发来的总线调试问题，她也常常要隔上半天才顾得上回。
在她的认知里，她是可以造出来的。
可问题是，每到了关键的地方，推演就会突然停止住。
就这样连续好几个月，她都没有推出来，这个突然停止的问题，她也检查过计算过程和运行日志，可是就是找不到原因。
而克拉拉并不知道这些，她在看到希望以後，天天都来找小黑讨论。
一来二去，小黑这个人工智能居然厌学了。
她现在一看到割线两个字，连风扇都想直接停转。
最後，在克拉拉再次追问的时候，她只在白板上写下了四个大字。
【小黑不会】
克拉拉看着这四个字，然後又看了看垂着脑袋的小黑，到嘴边的问题特没有再问。
可是克拉拉又舍不得放下这条好不容易找到的路，便去数学学部借回了一堆的书，准备自己学。
因此，她白天带组晚上啃书、推公式，基本上都是在熬通宵，只有吃过午饭才靠着小黑睡上一会。
小黑看着克拉拉困得睁不开眼睛，还要拿着笔往下写的样子，突然发现自己的响应速度，居然会因为这样的情况而慢下来。
他去查看运行日志，日志里总会多出一条新的记录。
【异常状态，原因未知。】
“主人，我自检了好多遍，硬件没问题，代码也没出错。”
“可是看见克拉拉姐姐这个样子，我就想帮她算可小黑不会呀，而且响应速度还会变慢。”
小黑说到这里的时候，声音小了下去。
“这是不是你们人类说的心疼啊？”
克拉拉听到小黑的话，夹菜的筷子也抖了一下。