Text this: Mathematical discovery