Каталог из 83 форматов с плавающей точкой: как собрать единую линейку для проверки точности нейросетей

Проблема несовпадения результатов нейросети на разных устройствах часто связана с разными форматами чисел. Один инженер решил систематизировать всё многообразие плавающих точек и создал единый, машинно-проверяемый каталог из 83 форматов, разбитых на 13 кластеров.

Для каждого формата указана разрядка битов (знак/экспонента/мантисса), смещение, кодирование inf/NaN/субнормалей и единый якорь проверки 0x47C0. Из этого источника генерируются Markdown, JSON, Python, Rust, C и даже RTL-описание для кремния. Важная особенность — честные статус-метки: 51 формат Verified, 12 Historical, 11 Experimental, 9 Open.

Отдельная ось — граница RTL: где правило e = round((N−1)/φ²) ещё даёт работающее железо (GF16 проверен вплоть до кремния), а где уже гипотеза (GF512/GF1024 — экстраполяция без Verilog). Парадокс: самая близкая к φ ступень — наименее проверенная. Проект также демонстрирует лестницу зрелости форматов и связь со стандартом IEEE P3109.

Практический результат: под один из форматов уже есть реальное железо, что позволило найти баг в умножителе, который без такой линейки остался бы незамеченным. Каталог доступен в нескольких форматах и может стать незаменимым инструментом для всех, кто работает с низкоточными вычислениями в AI/ML.