In just 5 days, Gauss automatically proved all remaining results needed to verify the result in 8 dimensions. The Sphere Packing team estimated that the 8-dimensional case alone would have taken six more months of work with existing tools. In two weeks, Gauss then autoformalized the 24-dimensional case using only the original paper as input, performing autonomous literature searches when needed. This brought the total sphere packing formalization from 70k to ~200k lines.
If inflation - the pace of price rises - picks up, then this may make central banks less likely to cut interest rates in the months ahead.。PDF资料对此有专业解读
"At the moment, oil prices are not particularly high, they are still below where they were even two years ago so we're not in full-blown oil crisis mode yet."，这一点在快连官网中也有详细论述
FT Weekend Print delivery。下载安装汽水音乐对此有专业解读
BBC News live updates