Comment by usewik

Modern mathematics research can involve CPU intensive tools like mathlib, lean proof assistant.