Nota bene: their Github link 404s, and there are goofy LaTeX mixed in with their Lean snippets.

I am inclined to dismiss this kind of thing out of hand but it does have the shape of what a successful proof of P != NP, really an expert has to look over the 104 pages and the code.

I think this is AI generated; the Lean snippet on page 33 is full of LaTeX syntax.

Unrelated perhaps, but I thought it was curious that this fellow has three academic appointments.