AI generates conjectures