Apparently the Guinness Book of Records recognise him as the first 'openly neurodivergent' athlete to complete the Kona course. Leaving aside my doubts about the idea of neurotypical, I would suspect completing the Kona course could be argued as evidence that you would be regarded as neurodivergent.
https://www.bbc.co.uk/sport/triathlon/67214919
