On Thursday, Block CEO Jack Dorsey said that the company was laying off 4,000 of its more than 10,000 workers, partly because of AI. The company has developed its own internal AI agent, called Goose, that can be powered by a range of different AI models and plug-in directly to a computer to draw from its files and folders as well as access cloud storage platforms and online databases, Wired reported.
消息方面，3月3日，A股主要股指呈现宽幅震荡格局，沪指早盘一度创出今年以来新高，但午后翻绿且跌幅持续扩大。盘面上，石油石化、银行两大权重板块领涨。国际油价延续强势，布伦特原油期货昨日突破80美元/桶关口，近两日涨幅约10%。国内期市方面，集运指数（欧线）、燃油、原油、低硫燃料油、甲醇、液化石油气、塑料期货主力合约昨日均涨停，其中燃油、原油、低硫燃料油期货涨停板幅度扩大至12%。
，这一点在体育直播中也有详细论述
Lean is the result of over twelve years of continuous development. We designed and built every layer from scratch: the trusted kernel, the compiler, the language server, the IDE, the proof automation. The team is 20 people. The community independently chose Lean: mathematicians, AI researchers, and enterprise engineers, all building on the same platform.，更多细节参见51吃瓜
Your next round. Your next hire. Your next breakout opportunity. Find it at TechCrunch Disrupt 2026, where 10,000+ founders, investors, and tech leaders gather for three days of 250+ tactical sessions, powerful introductions, and market-defining innovation. Register now to save up to $400.
�@�����̎������ʂ��A�^�b�`���X���D�@�̎����Ɍ������������i�߂��B