REDMI 新的十年正式开启，其 LOGO 也从此前的「Redmi」升级到了「REDMI」，全部大写的字母也能展现出全面强大的内心。作为新十年的首款产品

30多年的数学猜想，被AI发现了一个反例？就在刚刚，Meta、威斯康星大学麦迪逊分校、伍斯特理工学院、悉尼大学的几位学者提出PatternBoost