Pitäisikö minun hakea puhetta tekoälyn käytöstä invarianttien testien kirjoittamiseen?