Dataset · Hugging Face

OpenConjecture/openconjecture

Name: openconjecture
Creator: OpenConjecture
License: other
Keywords: license:other, size_categories:10K<n<100K, format:json, modality:tabular, modality:text, library:datasets, library:pandas, library:polars, library:mlcroissant, region:us, mathematics, arxiv

OpenConjecture, a living dataset of mathematics conjectures from the ArXiv OpenConjecture is a living dataset of mathematics conjectures extracted from recent arXiv papers. Our pipeline ingests recent papers announced on arXiv's math page, extracts conjecture-like blocks from source LaTeX, labels each candidate with GPT-5 Mini, and scores real/open conjectures for interestingness and near-term viability. OpenConjecture is currently composed of 3531 open conjectures. This… See the full description on the dataset page: https://huggingface.co/datasets/OpenConjecture/openconjecture.

View on Hugging FaceReport an issue

Author / organization	OpenConjecture
License (as declared)	other
Downloads	252 (as reported by Hugging Face)
Likes	11
Created	16 March 2026
Last updated at source	25 September 2026

mathematicsarxiv

Embed this entry

<iframe src="https://silytics.si/embed/item/eb1b1efb-af7b-4fa5-b029-f8fa03189cf0" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 16 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.