华为“难题揭榜”的出题人来自华为的不同部门，每题都附有“接口专家”的邮箱。两个多月内，程光先后和华为专家开了多次会议。第一次会让他印象深刻，五个华为专家在屏幕的另一头，为他详细剖析了难题的方方面面，比如，约束条件到底是什么，希望能解决哪些问题，国内外目前在这个问题上达到的最先进技术标准是什么？华为希望在哪儿有所突破？程光说，别的企业提出的是问题，华为提供的是一篇清晰、简洁、有技术前瞻性的学术综述。　　2018年8月，亿利洁能公告，以现金方式向公司控股股东亿利资源集团有限公司（简称“亿利集团”）收购其持有的鄂尔多斯市亿鼎生态农业开发有限公司60%股权、向西部新时代能源投资股份有限公司（以下简称“西部新时代”）收购其持有的鄂尔多斯市新杭能源有限公司（简称“新杭公司”）75.19%股权，交易价格16亿元。　　“考虑到2023年宏观经济企稳回升和房地产市场回暖，下一阶段提前还贷热潮或将趋于平缓。当然，稳定居民信心和预期、减缓提前还贷还有更重要和深远的意义。”董希淼认为，可加快引导5年期以上LPR（贷款市场报价利率）下降，继续降低新增和存量住房贷款利率。　　2017年12月，唐双宁结束长达10年的“光大”生涯，卸任退休。当时接替他职务的李晓鹏，在光大集团工作了4年多，于2022年3月退休，2023年4月官宣被查。　　“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。