2023年全国一卷的数学试题不是由葛军出的。高考试卷的出题人员是由各省市招考部门选择和确定的，葛军虽然是一位数学教育专家和知名数学家，但他并没有直接参与高考试卷的命题工作。

具体来说，高考试卷的命题工作是由国家教育部指定的高考出题小组负责，这些小组会综合考虑考试大纲、各地模拟卷以及高校教授、教育专家、资深教师的意见来命制试题。因此，即使葛军在数学教育领域有着广泛的影响和认可，他也不会直接参与高考数学试卷的命题过程。

此外，从历年的情况看，葛军参与命题的试卷通常会有明显的个人风格，而2023年全国一卷的数学试题难度较大，被考生认为有葛军风格，但这只是考生的感觉，并非事实。因此，可以确定的是，2023年全国一卷的数学试题并非葛军所出。