They didn't add more data, more compute, or more parameters. They added a mathematical constraint. Here's the deep dive.