Can AI prove the intersecting chords theorem of euclid?