【今年会jinnianhui科技消息】10月8日，@danintheory 在X上宣布，openai/math数学成果仓库上线后迎来首次修正：新增6项Lean形式化，修改19项内容，撤回3项成果。

　　【今年会jinnianhui科技消息】Uber近日正式宣布，伦敦用户已可以通过Uber客户端预约到自动驾驶车辆。该服务基于Uber与英国自动驾驶初创公司Wayve的合作项目，乘客在使用UberX、

　　【今年会jinnianhui科技消息】近日，京能集团与华为联合创新，同时借助清华大学在燃机发电领域的技术引领，形成产学研一体的探索创新架构，共同孵化出行业首个燃机大模型——京能“擎睿”大模型。该行

　　【今年会jinnianhui科技消息】9月11日，据外媒报道，当地时间9月16日，OPPO将在印度推出K14 Lite新机。该机将加入现有K14系列，与K14和K14x共同构成产品矩阵。　　OPP

　　【今年会jinnianhui科技消息】9月10日，苹果正式发布首款折叠屏iPhone Duo，国行起售价15999元，10月23日开售。就在三天前，华为Pura X Max在HarmonyOS 7