DeepSeek banned from US before the end of Q1?

DeepSeek, an AI model developed by a Chinese start-up company, is sparking debate over whether it could be banned in the United States. Will it actually face such a U.S. ban before the end of this quarter? This market resolves as “Yes” if a relevant federal authority declares a legally enforceable ban on the use, distribution, or download of DeepSeek—the ban must be implemented, not just announced. The resolution will rely on formal government publications. If no definitive ruling is issued, this market resolves as “No.” Market closes on March 31, 2025, at 17:00 UTC.