3月2日消息，卡塔尔能源公司宣布，由于公司旗下两处能源设施当地时间2日遭到来自伊朗的无人机袭击，决定暂停生产液化天然气。卡塔尔天然气储量居全球第三，是全球最重要的天然气生产国之一。2025年，卡塔尔出口了8220万吨液化天然气。
哈法亚公司成立以来，依托“伊拉克青年培训计划”等项目，广泛吸纳本地青年人才，常态化雇用伊籍员工2000余人，在油区创造就业岗位6300多个，通过组织在职培训和留学深造、完善本土人才发展空间和晋升体系，培养了一大批伊拉克本土石油工程人才。伊拉克石油行业专家哈姆扎·贾瓦希里评价：“哈法亚油田有力加强了伊拉克南部地区石油行业发展的力量。”
。体育直播对此有专业解读
The AI community has already made its choice. AlphaProof (Google DeepMind), Aristotle (Harmonic), SEED Prover (ByteDance), Axiom, Aleph (Logical Intelligence), and Mistral AI all build on Lean. Every major AI reasoning system that has achieved medal-level performance at the International Mathematical Olympiad used Lean. No competing platform was used by any of them. The future is much larger than today’s early applications.，详情可参考体育直播
The secure-env-demo repo has everything you need to try both approaches. Clone it, pick the one that fits your setup, and run the demo app: