The example is taken from the documentation, and even when the correct tags are specified, a field is still created in the table with AUTO_INCRIMENT instead of AUTO_RANDOM

type Product struct {
  ID    uint `gorm:"primaryKey;default:auto_random()"`
  Code  string
  Price uint
}