关于《新世纪GPX高智能方程式》中阿斯拉达（Asurada）系列赛车的型号数量，综合不同来源信息分析如下：

一、正统系列车型

阿斯拉达GSX

作为风见广之为菅生车队首次参赛的车型，体现了速度与平衡的极致追求，是阿斯拉达系列的开场曲。

超级阿斯拉达

专为大奖赛设计，搭载先进系统，性能与稳定性表现突出，是系列中的顶级车型。

超级阿斯拉达01

作为经典型号，搭载人工智能生物计算机系统，具备高度可塑性，是系列的重要代表。

AKF-11

在原版动画中新增的型号，具备两段加速能力，进一步提升了赛车的战术价值。

二、可变动作系列扩展

阿斯拉达V.S.X-R

2025年新推出的可变动作系列第二弹，基于令和时代的赛博机械设计，支持更换部件实现多种形态切换，预计2025年8月发售。

三、其他说明

模型玩具系列

包含1:18比例合金零件组装款，可更换电池实现不同灯效，但包装设计较简单。

总结

若以正统动画系列计算，阿斯拉达至少有4款车型（GSX、Super Asurada、Super Asurada 01、AKF-11）。若包含可变动作系列的新作，则型号数量增加至5款。不同来源对“型号”的定义差异（如是否包含玩具系列）可能导致结论略有不同。