Recent Progress on the Donaldson–Thomas Theory