دانشمندان ماشینی را ساختهاند که حدسهای ریاضی تولید میکند، در حالی که حدسها در ریاضی اساساً نقطه شروع طرح قضایای ریاضیاتی هستند.
