Mining cryptocurrencies involves solving complex math problems, which requires lots of computing power and electricity. But at its peak in late 2017, getting just one bitcoin could have netted you more than US$19,000. And it was around the time that one Baidu engineer decided to become a miner -- with the help of company servers.

According to a recently disclosed court document, An Bang was a senior engineer responsible for the maintenance of Baidu’s search engine. Between April and July of 2018, he downloaded crypto mining scripts -- software that directs servers to mine cryptocurrency for a website -- onto some 200 Baidu servers. The servers mined Monero -- a cryptocurrency that can be converted to bitcoins -- and eventually sold them for around 100,000 yuan (US$14,300).