连万科这样的头部房企也销售不及预期。万科董事会主席郁亮提到，今年4月，一二线城市新房成交环比下降26%，5月又环比下降了2%，6月的先行指标显示，一手房来访量环比下降7%左右，二手房带看量也下降10%左右，这意味着市场销售不容乐观。　　今年上半年，除上海和北京外，深圳（16297.6亿元）、重庆（14345.95亿元）、广州（14130.69亿元）、苏州（11458.4亿元）、成都（10705.5亿元）、杭州（9602亿元）、武汉（9503.33亿元）、南京（8316.92亿元）继续稳居前十，其中，杭州、武汉排名发生易位。　　上海国际航运研究中心首席信息官徐凯13日告诉《环球时报》记者，截至2023年，中国已经是世界最大货主国（按照货量计算，按贸易额美国仍是第一），港口规模多年稳居世界第一。今年上半年，中国造船业三大指标均位居世界第一。　　[观察者网 讯]综合台湾媒体报道，今天上午，台军“轻型护卫舰防空型原型舰”在高雄旗津的中信船厂开工，开工现场上进行了钢板切割仪式。　　李国兵指出，这个问题虽然面向应用，但是提炼出了理论高度，“不是一般企业能问出来的”。在他看来，华为“难题揭榜”的难题有三个特点：一是从实践中来，每个问题都有很明确的应用背景；二是这些实际中遇到的问题都经过了“精加工”，其中的核心基础问题被提炼出来，使其不再局限于具体的应用场景，有一定的共性和普适性，而且在科学上很前沿；三是技术诉求明确。李国兵发现，华为对问题的指标要求很清晰，也知道现有的理论边界在哪儿。