相关新闻

placeholder

Ningcong Chen

3天前

今天用dspy + coqpyt编了个agent，自动证明了我懒得写的一个leetcode的定理。虽然不知道这玩意稳定性如何。 总之就是让Coq的报错喂给AI，然后AI会发现自己的递归没写对，反复试了几次以后就过了。 Coqpyt重新糊了一套界面，不然原来都不报错，模型直接抓瞎。

placeholder

中国人研究院

4天前

西方人的消费观念跟中国人完全不一样，西方人即使存不住钱，也要保证当下的生活品质，中国人宁愿天天吃糠咽菜也要存钱。 西方人追求品质，买啥都要买好的，老逼中就不一样了，他们宁愿在拼多多买假冒伪劣产品，就为了省钱。 老美人口只有中国的四分之一，但消费能力却比中国高三倍多，这就是真相！

placeholder

dontbesilent

5天前

最干净的订机票的软件是拼多多，没有任何弹框，页面配色简洁干净 选好航班，一键付款 什么保险、酒店、套餐，统统没有

placeholder

大宇

5天前

拼多多吞噬世界。 等这里赚几倍，希望正好赶上科技股崩盘让我上个车。

placeholder

勃勃OC

5天前

Leetcode到死也没想到 打败自己的 居然是AI 🤣🤣🤣