In his commentary, Kim Min-hyung, the director of the International Centre for Mathematical Sciences in Edinburgh, discusses the complexity of defining mathematics and its intrinsic relationship with culture, similarly to the challenge of defining democracy itself. He notes that within academic circles, many mathematicians simplify their roles to merely proving theorems, referring to a famous quote by Hungarian mathematician Paul Erdős about mathematicians being machines that generate theorems fueled by coffee, which encapsulates this mindset. The article emphasizes that in contemporary mathematics, proofs hold a critical position, where solving a problem is often equated with proving a theorem, illustrating this with the example of Goldbach's conjecture.