vite 8 发布，双引擎时代结束，webpack 的时代真的快过去了

A Kochen-Specker contradiction is produced with 36 vectors in a real 8-dimensional Hilbert space. These vectors can be combined into 30 distinct projection operators (14 of rank 2, and 16 of rank 1). A state-specific variant of this contradiction requires only 13 vectors, a remarkably low number for 8 dimensions.

This is a matricial description of all the fine group gradings on the exceptional Lie algebra $o(8,\mathbb C)$. There are fourteen.

The paper discusses Problems 8 and 88 posed by Stanislaw Mazur in the Scottish Book. It turns out that negative solutions to both problems are immediate consequences of the results of Section 5 of my paper "Estimates of functions of power bounded operators on Hilbert spaces", J. Operator Theory 7 (1982), 341-372. We discuss here some quantitative aspects of Problems 8 and 88 and give answers to open problems discussed in a recent paper by Pelczynski and Sukochev.