https://wwwf.imperial.ac.uk/~buzzard/xena/natural_number_game/

What does /sci/ think of this natural number game? Can you complete it? Is it a useful way to teach theoretical foundations?

Went to a talk from this guy a few years back and he mentioned that some published pure maths papers have recently been found to contradict one another. Is formalizing mathematics the future in an age of AI?