AI companies are making new mathematical discoveries at a rapid pace but not sticking around to help unpick the new proofs.
The upcoming Habitable Worlds Observatory should be able to spot the glint of water on habitable planets, and maybe more ...