村长皱起眉，沉声道：和去年那次一样，如果粮食没够，全部罚税一成，你们得快些。目前人工智能形式化证明数学定理遇到了哪些困难？有哪些最新进展？当然，更多的人没打算上门道谢，张采萱也没想着让众人感谢，她只是希望自己生活的地方平和一些，别像外面那样艰难。

如果不种更加不可能，那地契捏在手上，就得交税粮，如果不种，税粮都交不起了，要是往常，大不了把地收回去，但是现在，把地收回去之后，谁也不知道等待众人的是什么。张采萱她当然认识，村里就没有人不认识她的，都知道她回家不久就和秦肃凛定了亲，成亲之后的日子也让村里许多妇人艳羡，吃喝比村里的人好许多不说，最要紧是得夫君疼爱，听说，他们家中，有时候还是秦肃凛做饭。等隔日刘承再次上门时，发现老大夫家中房顶上的雪已经扫完，正笑呵呵的送顾棋出门。目前人工智能形式化证明数学定理遇到了哪些困难？有哪些最新进展？村里有人杀猪了，当初和他们家那头小猪一起生下来的，杀的时候已经一百多斤，放出话来，拿粮食来换猪肉，村里许多人都去换了。张采萱也去换了一斤，不是她不想换多些，村里那么多人呢，可不能做这么遭人恨的事。

没事，你不答应也不会有人说你什么。张采萱再次劝慰。本身就是他们一家欠了你的。当初如果不是把你卖掉，如今还不知道会过的如何？说不准那时候就饿死了呢，知道当年事情的人都不会觉得你错。张采萱想了想，不管亲近不亲近，她都不会看着村里人收瘪穗子，然后饿肚子。于是道：我们家的暖房，每次收成过后，都会重新覆上一层土。随着谭归离去，他可以帮众人拉瓦片到村里的消息随即传开。抱琴看着几个红彤彤的小东西眼热，早知道会生，我那些也不杀了，说不准也有小兔子了呢。

村里人虽然庆幸，却也觉得压力很大，翻倍交税就等于口粮少了。正常情形下，一年的税粮差不多占了收成的三到四成，这一翻倍，等于收成得交上一大半。目前人工智能形式化证明数学定理遇到了哪些困难？有哪些最新进展？那俩人也有经验，谁也不松手，怒气冲冲瞪着对方。

这么重的税，其实等于白干，辛辛苦苦干一年，只为了买个免征兵。