Funny, that. I thought that might have been the case, too. I was one of few who had experience working from home prior to COVID, and back then working from home was strongly discouraged for exactly the reasons you stated above. Our firm found productivity has instead gone up since we started working from home, and thus they plan to keep us working from home. Yes, some people have issues, but you know what? They had issues in the office, too. Their productivity is largely unchanged. For most everyone else, it's gone up. It came as a surprise, but yeah, management is now salivating about reducing office footprints now.

Wolbachia is a bacteria, not a virus. Perhaps go back and re-read the summary, it's clearly stated as such.

This is how knowledge breakthroughs happen in science and math. You go down these paths searching for what pops out, and occasionally you find something amazing. You go into it not knowing what difference it will make--which is why few dare to head down these paths. A computer program is limited by the knowledge of the developer and the rules they were aware of at the time it was created. It's not going to make any logical leaps on its own--it's a tool to help evaluate, but it doesn't discover proofs all on its own.

Except that I bring down the average. A lot.

as my AI voice when flying around in Elite Dangerous.

...they upgrade the AIs to be more aggressive, and they start revving the engine next to you at lights? Actually, that'd be amusing as all get out.