ミラ・ムラティ氏率いるThinking Machines Lab、a16zなどから20億ドル調達（関連情報）