# [2021.03.13] Modularity

I'm running some heavy computations experiments on lab servers these
days. Mostly, they are about searching for finite models of
particular algebraic structures. The main difficulty is that these
structures have reasonably many operations, and the models exist only
for sufficiently high cardinalities. First, the server bluntly went
down during my experiments. Then it started running longer than a
timeout which I believed I would never reach (24 hours). Now it's
running out of memory. And there are hundreds of gigabytes of RAM on
the server! So, it might look that instead of doing maths, I only
push a button and wait for the result:) But it certainly is not the
fact. That's research similar to what one do in deep learning or when
running physical simulations. Besides, when the search fails to find
any counter-examples, I can formulate hypotheses about what theorems
are likely to hold in the general case. If only I had such a powerful
automated prover to prove them:(