1. If it doesn't work, it's physics.
2. If it's incomprehensible, it's mathematics.
3. If it doesn't make sense, it's computer science.
4. If it's all of them, it's quantum computing.
@logic_int I have found your Aleph Prover work incredibly impressive but would you explain to me how this sudoku demonstration will translate to real world usage? I coded this EBM sudoku solver last day, I trained it and I run it on CPU (6th gen i7). Though mine is one OOM slower