按照黄仁勋的说法，是英伟达创造了现代电子游戏产业。他的这番言论令人费解，因为电子游戏的历史已经超过50年，远早于英伟达成立的时间。英伟达成立于1993年，而电子游戏早在1958年就已出现。在英伟达诞生之前，电子游戏就已成为全球现象，《吃豆人》《塞尔达传说》等经典作品在80年代就已发售。
NBER periodicals and newsletters may be reproduced freely with appropriate attribution.
。91视频对此有专业解读
Российский офицер назвал абсурдной задачу ВСУ форсировать Днепр08:37
12:56, 5 марта 2026Бывший СССР
The Formalization ProcessIn 2024, the project to formalize the 8-dimensional solution was launched jointly by Sidharth Hariharan and Maryna Viazovska. Together with Chris Birkbeck, Seewoo Lee, Gareth Ma and Bhavik Mehta, they wrote a detailed blueprint and developed an extensive codebase consisting of new definitions and theorems about sphere packings, lattices, and (quasi)modular forms that were absent from Mathlib.