Mathematical discoveries