在总营收中，Costco全球会员费收入升至13.55亿美元，同比增长1.62亿美元，增幅达13.6%；调整汇率影响后，增幅为12.2%，依然是公司利润增长的重要来源。
Writing specifications is not always easy, but it is easier than writing the optimized implementation. And a powerful shortcut exists: an inefficient program that is obviously correct can serve as its own specification. User and AI co-write a simple model, AI writes an efficient version, and proves the two equivalent. The hard part shifts from implementation to design. That is the right kind of hard.
，这一点在谷歌浏览器下载中也有详细论述
模型厂商的反应，也从侧面印证了这一点。
Что думаешь? Оцени!