# Does the dataset your AI actually needs exist yet?

**URL:** </static-proxy?url=https%3A%2F%2Fdiscuss.huggingface.co%2Ft%2Fdoes-the-dataset-your-ai-actually-needs-exist-yet%2F179761%3E%5C
**Category:** Intermediate\
**Created:** [September 2, 2026, 1:09pm UTC](/static-proxy?url=https%3A%2F%2Fdiscuss.huggingface.co%2Ft%2Fdoes-the-dataset-your-ai-actually-needs-exist-yet%2F179761 "2026-09-02T13:09:23Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![BryanDU](https://avatars.discourse-cdn.com/v4/letter/b/4da419/32.png) [@BryanDU](/static-proxy?url=https%3A%2F%2Fdiscuss.huggingface.co%2Fu%2FBryanDU)%5C
**Post date:** [September 2, 2026, 1:09pm UTC](/static-proxy?url=https%3A%2F%2Fdiscuss.huggingface.co%2Ft%2Fdoes-the-dataset-your-ai-actually-needs-exist-yet%2F179761%2F1 "2026-09-02T13:09:23Z")

</div>

Have you encountered a worthwhile model, product, or research objective that could not proceed because the required dataset, ground truth, population coverage, language, geography, or real-world context did not exist?

---

<div class="post-metadata">

**Author:** ![BroKenWan](https://sea2.discourse-cdn.com/hellohellohello/user_avatar/discuss.huggingface.co/brokenwan/32/64757_2.png) [@BroKenWan](/static-proxy?url=https%3A%2F%2Fdiscuss.huggingface.co%2Fu%2FBroKenWan)%5C
**Post date:** [November 13, 2026, 2:04am UTC](/static-proxy?url=https%3A%2F%2Fdiscuss.huggingface.co%2Ft%2Fdoes-the-dataset-your-ai-actually-needs-exist-yet%2F179761%2F2 "2026-11-13T02:04:01Z")

</div>

Yes. - I made special containers for my Lean and MD files using math. - But this is a real issue. - I have a big project and Frontier LLM often will fail when formalizing results because they attempt to validate them independently and no independent record exists, just the compiled Lean. - So yes I have felt that issue 100%