[
  {
    "id": "fc-open",
    "name": "Formal Conjectures: open",
    "description": "Statements the formal record still marks as open research.",
    "size": 439,
    "with_ai_claim": 28,
    "with_artifact": 2,
    "with_verified_proof": 1,
    "members": [
      "books:BugeaudDistributionModuloOne/IntDistanceDistribution",
      "books:BugeaudDistributionModuloOne/Problem10_7",
      "erdos:3",
      "erdos:7",
      "erdos:14",
      "erdos:15",
      "erdos:25",
      "erdos:28",
      "erdos:30",
      "erdos:39",
      "erdos:40",
      "erdos:44",
      "erdos:51",
      "erdos:52",
      "erdos:64",
      "erdos:66",
      "erdos:68",
      "erdos:75",
      "erdos:77",
      "erdos:80",
      "erdos:85",
      "erdos:86",
      "erdos:87",
      "erdos:96",
      "erdos:99",
      "erdos:101",
      "erdos:104",
      "erdos:108",
      "erdos:128",
      "erdos:142",
      "erdos:143",
      "erdos:153",
      "erdos:155",
      "erdos:159",
      "erdos:172",
      "erdos:181",
      "erdos:196",
      "erdos:197",
      "erdos:203",
      "erdos:208",
      "erdos:212",
      "erdos:218",
      "erdos:234",
      "erdos:236",
      "erdos:242",
      "erdos:243",
      "erdos:249",
      "erdos:251",
      "erdos:276",
      "erdos:279",
      "erdos:282",
      "erdos:288",
      "erdos:289",
      "erdos:312",
      "erdos:313",
      "erdos:317",
      "erdos:322",
      "erdos:324",
      "erdos:332",
      "erdos:342",
      "erdos:348",
      "erdos:352",
      "erdos:354",
      "erdos:359",
      "erdos:361",
      "erdos:364",
      "erdos:371",
      "erdos:383",
      "erdos:385",
      "erdos:386",
      "erdos:389",
      "erdos:396",
      "erdos:398",
      "erdos:406",
      "erdos:409",
      "erdos:410",
      "erdos:412",
      "erdos:414",
      "erdos:417",
      "erdos:422",
      "erdos:428",
      "erdos:431",
      "erdos:452",
      "erdos:458",
      "erdos:462",
      "erdos:463",
      "erdos:478",
      "erdos:479",
      "erdos:488",
      "erdos:495",
      "erdos:536",
      "erdos:544",
      "erdos:545",
      "erdos:552",
      "erdos:562",
      "erdos:563",
      "erdos:564",
      "erdos:566",
      "erdos:567",
      "erdos:568",
      "erdos:569",
      "erdos:572",
      "erdos:583",
      "erdos:592",
      "erdos:598",
      "erdos:609",
      "erdos:623",
      "erdos:624",
      "erdos:653",
      "erdos:677",
      "erdos:680",
      "erdos:681",
      "erdos:689",
      "erdos:695",
      "erdos:701",
      "erdos:713",
      "erdos:714",
      "erdos:740",
      "erdos:749",
      "erdos:770",
      "erdos:773",
      "erdos:774",
      "erdos:779",
      "erdos:826",
      "erdos:828",
      "erdos:839",
      "erdos:849",
      "erdos:850",
      "erdos:853",
      "erdos:855",
      "erdos:857",
      "erdos:872",
      "erdos:881",
      "erdos:906",
      "erdos:936",
      "erdos:938",
      "erdos:942",
      "erdos:943",
      "erdos:952",
      "erdos:970",
      "erdos:972",
      "erdos:982",
      "erdos:1020",
      "erdos:1029",
      "erdos:1030",
      "erdos:1035",
      "erdos:1054",
      "erdos:1055",
      "erdos:1056",
      "erdos:1059",
      "erdos:1060",
      "erdos:1061",
      "erdos:1065",
      "erdos:1068",
      "erdos:1072",
      "erdos:1073",
      "erdos:1083",
      "erdos:1088",
      "erdos:1093",
      "erdos:1094",
      "erdos:1101",
      "erdos:1106",
      "erdos:1108",
      "erdos:1110",
      "erdos:1135",
      "erdos:1137",
      "erdos:1139",
      "erdos:1145",
      "erdos:1146",
      "erdos:1150",
      "erdos:1159",
      "erdos:1167",
      "erdos:1175",
      "erdos:1176",
      "erdos:1206",
      "erdos:1207",
      "erdos:1210",
      "erdos:1212",
      "green:1",
      "green:12",
      "green:28",
      "green:33",
      "green:36",
      "green:37",
      "green:39",
      "green:47",
      "green:50",
      "green:53",
      "green:58",
      "green:60",
      "green:61",
      "green:62",
      "green:64",
      "green:77",
      "kourovka:19_25",
      "kourovka:1_35c",
      "kourovka:1_40",
      "kourovka:20_76",
      "mathoverflow:17560",
      "mathoverflow:21003",
      "mathoverflow:339137",
      "mathoverflow:434111",
      "millennium:BSD",
      "millennium:PvsNP",
      "millennium:RiemannHypothesis",
      "oeis:40",
      "oeis:41",
      "oeis:224",
      "oeis:945",
      "oeis:1157",
      "oeis:2326",
      "oeis:2407",
      "oeis:2426",
      "oeis:3161",
      "oeis:3162",
      "oeis:4290",
      "oeis:5153",
      "oeis:5258",
      "oeis:7013",
      "oeis:7406",
      "oeis:7468",
      "oeis:7918",
      "oeis:11545",
      "oeis:17666",
      "oeis:24356",
      "oeis:34694",
      "oeis:37274",
      "oeis:38098",
      "oeis:38107",
      "oeis:38771",
      "oeis:51903",
      "oeis:53000",
      "oeis:53067",
      "oeis:55487",
      "oeis:56777",
      "oeis:60957",
      "oeis:64313",
      "oeis:67599",
      "oeis:67720",
      "oeis:69922",
      "oeis:69923",
      "oeis:70518",
      "oeis:71524",
      "oeis:72200",
      "oeis:76495",
      "oeis:77408",
      "oeis:78680",
      "oeis:78729",
      "oeis:79727",
      "oeis:80101",
      "oeis:80326",
      "oeis:81091",
      "oeis:83753",
      "oeis:86766",
      "oeis:87207",
      "oeis:87455",
      "oeis:87571",
      "oeis:91591",
      "oeis:92243",
      "oeis:93818",
      "oeis:96535",
      "oeis:100800",
      "oeis:101779",
      "oeis:102847",
      "oeis:103151",
      "oeis:103425",
      "oeis:103662",
      "oeis:104320",
      "oeis:105020",
      "oeis:105210",
      "oeis:105720",
      "oeis:107247",
      "oeis:108129",
      "oeis:108301",
      "oeis:108569",
      "oeis:108864",
      "oeis:108866",
      "oeis:109227",
      "oeis:109671",
      "oeis:109845",
      "oeis:109905",
      "oeis:109908",
      "oeis:109909",
      "oeis:110475",
      "oeis:110566",
      "oeis:110835",
      "oeis:110854",
      "oeis:111114",
      "oeis:113010",
      "oeis:113213",
      "oeis:113257",
      "oeis:113258",
      "oeis:113271",
      "oeis:113609",
      "oeis:114137",
      "oeis:114216",
      "oeis:115257",
      "oeis:115366",
      "oeis:116150",
      "oeis:117027",
      "oeis:117531",
      "oeis:117545",
      "oeis:119563",
      "oeis:119591",
      "oeis:120424",
      "oeis:130911",
      "oeis:135508",
      "oeis:145355",
      "oeis:153330",
      "oeis:157237",
      "oeis:160324",
      "oeis:166944",
      "oeis:167604",
      "oeis:167918",
      "oeis:179524",
      "oeis:179537",
      "oeis:180017",
      "oeis:182126",
      "oeis:182510",
      "oeis:185150",
      "oeis:228828",
      "oeis:231201",
      "oeis:232174",
      "oeis:239957",
      "oeis:260194",
      "oeis:280831",
      "oeis:281976",
      "oeis:303656",
      "oeis:308734",
      "quantum:23",
      "other:Rule30",
      "paper:CardinalityLindelof",
      "paper:CatchUpConjecture",
      "paper:Chvatal",
      "paper:Dubner",
      "paper:FusibleNumber",
      "paper:HartshorneConjecture",
      "paper:Homogenous",
      "paper:KotzigConjecture",
      "paper:Kurepa",
      "paper:LatinTableau",
      "paper:PrimeTuples",
      "paper:ReedOmegaDeltaChi",
      "paper:RingelConjecture",
      "paper:SerreUniformity",
      "paper:StrongSensitivityConjecture",
      "wikipedia:ABC",
      "wikipedia:Agrawal",
      "wikipedia:AlgebraicNormality",
      "wikipedia:AlmostPerfectNumbers",
      "wikipedia:AndrewsCurtis",
      "wikipedia:BalancedPrimes",
      "wikipedia:BatemanHornConjecture",
      "wikipedia:BealConjecture",
      "wikipedia:BetrothedNumbers",
      "wikipedia:BingBorsuk",
      "wikipedia:Brennanconjecture",
      "wikipedia:Buchi",
      "wikipedia:Bunyakovsky",
      "wikipedia:Conway99Graph",
      "wikipedia:DeterminantalConjecture",
      "wikipedia:DiameterSimpleFiniteGroups",
      "wikipedia:Dickson",
      "wikipedia:ErdosMoser",
      "wikipedia:Euclid",
      "wikipedia:Exponentials",
      "wikipedia:FactorialPrime",
      "wikipedia:Falconer",
      "wikipedia:FeitThompsonPrimeConjecture",
      "wikipedia:Fermat",
      "wikipedia:FibonacciPrimes",
      "wikipedia:FlintCooksonHills",
      "wikipedia:FortuneConjecture",
      "wikipedia:GapConjecture",
      "wikipedia:Gilbreath",
      "wikipedia:GoodmanConjecture",
      "wikipedia:Goormaghtigh",
      "wikipedia:GracefulLabeling",
      "wikipedia:Grimm",
      "wikipedia:IdonealCompleteness",
      "wikipedia:Irrational",
      "wikipedia:JugglerConjecture",
      "wikipedia:KummerVandiver",
      "wikipedia:LanderParkinAndSelfridgeConjecture",
      "wikipedia:LehmerTotient",
      "wikipedia:Lemoine",
      "wikipedia:LittlewoodConjecture",
      "wikipedia:LychrelNumbers",
      "wikipedia:MagicSquares",
      "wikipedia:Mandelbrot",
      "wikipedia:Mersenne",
      "wikipedia:NormalityOfPi",
      "wikipedia:PebblingNumberConjecture",
      "wikipedia:Pell",
      "wikipedia:PierpontPrime",
      "wikipedia:PollocksConjecture",
      "wikipedia:PolyTimeFunctions",
      "wikipedia:PrimeTriplets",
      "wikipedia:PrimesAndPerfectSquares",
      "wikipedia:QuasiperfectNumbers",
      "wikipedia:RationalDistanceProblem",
      "wikipedia:RudinsConjecture",
      "wikipedia:Schanuel",
      "wikipedia:Schinzel",
      "wikipedia:ScholzConjecture",
      "wikipedia:Singmaster",
      "wikipedia:SolitaryNumber",
      "wikipedia:SparseRuler",
      "wikipedia:Superperfectnumbers",
      "wikipedia:SurjunctiveGroup",
      "wikipedia:Taxicab",
      "wikipedia:Toronto",
      "wikipedia:TwinPrimes",
      "wikipedia:VaughtConjecture",
      "wikipedia:WallSunSun",
      "wikipedia:WieferichMirimanoffPrime",
      "wikipedia:WieferichPrime",
      "wikipedia:WilsonPrime",
      "wikipedia:WolstenholmePrime",
      "wikipedia:WoodalPrimes",
      "wikipedia:conjecture_1_3_to_2_3",
      "wall2:GraphConjecture100",
      "wall2:GraphConjecture133",
      "wall2:GraphConjecture19",
      "wall2:GraphConjecture198a",
      "wall2:GraphConjecture40",
      "wall2:GraphConjecture61",
      "arxiv:0912.2382/CurlingNumberConjecture",
      "arxiv:1102.4662/AtiyahSutcliffe",
      "arxiv:1104.1579/CunninghamChain",
      "arxiv:1601.03081/UniqueCrystalComponents",
      "arxiv:2104.00502/BarkerSequence",
      "arxiv:2107.12475/CollatzLike",
      "arxiv:2402.13202/CirculantHadamard",
      "arxiv:2501.03234/ArithmeticSumS",
      "arxiv:2507.17780/2",
      "arxiv:2507.17780/3",
      "arxiv:2607.06396/AlonTarsi",
      "arxiv:math.0703548/FarrellJonesConsequences"
    ]
  },
  {
    "id": "fc-all",
    "name": "Formal Conjectures: all",
    "description": "Every statement carrying a Lean formalisation.",
    "size": 1396,
    "with_ai_claim": 309,
    "with_artifact": 571,
    "with_verified_proof": 25,
    "members": [
      "books:BorweinSineSeries",
      "books:BugeaudDistributionModuloOne/IntDistanceDistribution",
      "books:BugeaudDistributionModuloOne/Problem10_4",
      "books:BugeaudDistributionModuloOne/Problem10_5",
      "books:BugeaudDistributionModuloOne/Problem10_53",
      "books:BugeaudDistributionModuloOne/Problem10_6",
      "books:BugeaudDistributionModuloOne/Problem10_61",
      "books:BugeaudDistributionModuloOne/Problem10_7",
      "books:BugeaudDistributionModuloOne/Problem10_8",
      "books:BugeaudDistributionModuloOne/Problem10_9",
      "books:UniformDistributionOfSequences/Equidistribution",
      "erdos:1",
      "erdos:2",
      "erdos:3",
      "erdos:4",
      "erdos:5",
      "erdos:6",
      "erdos:7",
      "erdos:9",
      "erdos:10",
      "erdos:11",
      "erdos:12",
      "erdos:13",
      "erdos:14",
      "erdos:15",
      "erdos:16",
      "erdos:17",
      "erdos:18",
      "erdos:20",
      "erdos:21",
      "erdos:22",
      "erdos:23",
      "erdos:24",
      "erdos:25",
      "erdos:26",
      "erdos:28",
      "erdos:29",
      "erdos:30",
      "erdos:31",
      "erdos:32",
      "erdos:33",
      "erdos:34",
      "erdos:35",
      "erdos:36",
      "erdos:38",
      "erdos:39",
      "erdos:40",
      "erdos:41",
      "erdos:42",
      "erdos:43",
      "erdos:44",
      "erdos:45",
      "erdos:46",
      "erdos:47",
      "erdos:48",
      "erdos:50",
      "erdos:51",
      "erdos:52",
      "erdos:53",
      "erdos:56",
      "erdos:57",
      "erdos:58",
      "erdos:60",
      "erdos:61",
      "erdos:63",
      "erdos:64",
      "erdos:65",
      "erdos:66",
      "erdos:67",
      "erdos:68",
      "erdos:69",
      "erdos:70",
      "erdos:71",
      "erdos:72",
      "erdos:73",
      "erdos:74",
      "erdos:75",
      "erdos:77",
      "erdos:79",
      "erdos:80",
      "erdos:82",
      "erdos:83",
      "erdos:85",
      "erdos:86",
      "erdos:87",
      "erdos:89",
      "erdos:90",
      "erdos:91",
      "erdos:92",
      "erdos:93",
      "erdos:94",
      "erdos:95",
      "erdos:96",
      "erdos:97",
      "erdos:98",
      "erdos:99",
      "erdos:100",
      "erdos:101",
      "erdos:104",
      "erdos:105",
      "erdos:107",
      "erdos:108",
      "erdos:109",
      "erdos:113",
      "erdos:115",
      "erdos:116",
      "erdos:119",
      "erdos:120",
      "erdos:121",
      "erdos:123",
      "erdos:124",
      "erdos:125",
      "erdos:126",
      "erdos:127",
      "erdos:128",
      "erdos:130",
      "erdos:133",
      "erdos:134",
      "erdos:136",
      "erdos:137",
      "erdos:138",
      "erdos:139",
      "erdos:141",
      "erdos:142",
      "erdos:143",
      "erdos:145",
      "erdos:146",
      "erdos:147",
      "erdos:150",
      "erdos:152",
      "erdos:153",
      "erdos:154",
      "erdos:155",
      "erdos:156",
      "erdos:158",
      "erdos:159",
      "erdos:160",
      "erdos:163",
      "erdos:164",
      "erdos:166",
      "erdos:168",
      "erdos:170",
      "erdos:171",
      "erdos:172",
      "erdos:175",
      "erdos:178",
      "erdos:180",
      "erdos:181",
      "erdos:183",
      "erdos:184",
      "erdos:185",
      "erdos:188",
      "erdos:189",
      "erdos:191",
      "erdos:192",
      "erdos:193",
      "erdos:194",
      "erdos:195",
      "erdos:196",
      "erdos:197",
      "erdos:198",
      "erdos:199",
      "erdos:200",
      "erdos:202",
      "erdos:203",
      "erdos:204",
      "erdos:205",
      "erdos:206",
      "erdos:208",
      "erdos:209",
      "erdos:212",
      "erdos:213",
      "erdos:214",
      "erdos:215",
      "erdos:218",
      "erdos:219",
      "erdos:220",
      "erdos:221",
      "erdos:224",
      "erdos:225",
      "erdos:226",
      "erdos:228",
      "erdos:229",
      "erdos:230",
      "erdos:231",
      "erdos:233",
      "erdos:234",
      "erdos:236",
      "erdos:238",
      "erdos:239",
      "erdos:241",
      "erdos:242",
      "erdos:243",
      "erdos:244",
      "erdos:245",
      "erdos:246",
      "erdos:247",
      "erdos:248",
      "erdos:249",
      "erdos:250",
      "erdos:251",
      "erdos:252",
      "erdos:253",
      "erdos:254",
      "erdos:257",
      "erdos:258",
      "erdos:259",
      "erdos:260",
      "erdos:261",
      "erdos:263",
      "erdos:264",
      "erdos:266",
      "erdos:267",
      "erdos:268",
      "erdos:269",
      "erdos:270",
      "erdos:272",
      "erdos:273",
      "erdos:274",
      "erdos:275",
      "erdos:276",
      "erdos:277",
      "erdos:279",
      "erdos:280",
      "erdos:281",
      "erdos:282",
      "erdos:283",
      "erdos:285",
      "erdos:286",
      "erdos:287",
      "erdos:288",
      "erdos:289",
      "erdos:290",
      "erdos:291",
      "erdos:292",
      "erdos:295",
      "erdos:296",
      "erdos:298",
      "erdos:299",
      "erdos:300",
      "erdos:302",
      "erdos:303",
      "erdos:304",
      "erdos:305",
      "erdos:306",
      "erdos:307",
      "erdos:308",
      "erdos:309",
      "erdos:310",
      "erdos:312",
      "erdos:313",
      "erdos:314",
      "erdos:315",
      "erdos:316",
      "erdos:317",
      "erdos:318",
      "erdos:319",
      "erdos:321",
      "erdos:322",
      "erdos:323",
      "erdos:324",
      "erdos:325",
      "erdos:326",
      "erdos:328",
      "erdos:329",
      "erdos:330",
      "erdos:331",
      "erdos:332",
      "erdos:333",
      "erdos:337",
      "erdos:340",
      "erdos:341",
      "erdos:342",
      "erdos:346",
      "erdos:347",
      "erdos:348",
      "erdos:349",
      "erdos:350",
      "erdos:351",
      "erdos:352",
      "erdos:353",
      "erdos:354",
      "erdos:355",
      "erdos:357",
      "erdos:358",
      "erdos:359",
      "erdos:361",
      "erdos:362",
      "erdos:363",
      "erdos:364",
      "erdos:366",
      "erdos:367",
      "erdos:369",
      "erdos:370",
      "erdos:371",
      "erdos:372",
      "erdos:373",
      "erdos:375",
      "erdos:376",
      "erdos:377",
      "erdos:379",
      "erdos:383",
      "erdos:384",
      "erdos:385",
      "erdos:386",
      "erdos:387",
      "erdos:389",
      "erdos:390",
      "erdos:391",
      "erdos:392",
      "erdos:394",
      "erdos:395",
      "erdos:396",
      "erdos:397",
      "erdos:398",
      "erdos:399",
      "erdos:400",
      "erdos:401",
      "erdos:402",
      "erdos:403",
      "erdos:405",
      "erdos:406",
      "erdos:407",
      "erdos:409",
      "erdos:410",
      "erdos:412",
      "erdos:413",
      "erdos:414",
      "erdos:416",
      "erdos:417",
      "erdos:418",
      "erdos:419",
      "erdos:421",
      "erdos:422",
      "erdos:423",
      "erdos:424",
      "erdos:426",
      "erdos:427",
      "erdos:428",
      "erdos:429",
      "erdos:431",
      "erdos:433",
      "erdos:434",
      "erdos:435",
      "erdos:437",
      "erdos:438",
      "erdos:440",
      "erdos:441",
      "erdos:442",
      "erdos:443",
      "erdos:445",
      "erdos:447",
      "erdos:448",
      "erdos:450",
      "erdos:452",
      "erdos:453",
      "erdos:454",
      "erdos:455",
      "erdos:456",
      "erdos:457",
      "erdos:458",
      "erdos:459",
      "erdos:462",
      "erdos:463",
      "erdos:464",
      "erdos:466",
      "erdos:469",
      "erdos:470",
      "erdos:473",
      "erdos:476",
      "erdos:477",
      "erdos:478",
      "erdos:479",
      "erdos:480",
      "erdos:481",
      "erdos:484",
      "erdos:485",
      "erdos:486",
      "erdos:487",
      "erdos:488",
      "erdos:489",
      "erdos:490",
      "erdos:491",
      "erdos:493",
      "erdos:494",
      "erdos:495",
      "erdos:497",
      "erdos:498",
      "erdos:499",
      "erdos:501",
      "erdos:502",
      "erdos:503",
      "erdos:505",
      "erdos:506",
      "erdos:507",
      "erdos:508",
      "erdos:509",
      "erdos:510",
      "erdos:512",
      "erdos:513",
      "erdos:516",
      "erdos:517",
      "erdos:519",
      "erdos:520",
      "erdos:521",
      "erdos:522",
      "erdos:525",
      "erdos:532",
      "erdos:533",
      "erdos:534",
      "erdos:535",
      "erdos:536",
      "erdos:537",
      "erdos:538",
      "erdos:539",
      "erdos:540",
      "erdos:541",
      "erdos:542",
      "erdos:544",
      "erdos:545",
      "erdos:546",
      "erdos:547",
      "erdos:548",
      "erdos:549",
      "erdos:550",
      "erdos:551",
      "erdos:552",
      "erdos:559",
      "erdos:562",
      "erdos:563",
      "erdos:564",
      "erdos:566",
      "erdos:567",
      "erdos:568",
      "erdos:569",
      "erdos:570",
      "erdos:571",
      "erdos:572",
      "erdos:579",
      "erdos:581",
      "erdos:582",
      "erdos:583",
      "erdos:586",
      "erdos:587",
      "erdos:590",
      "erdos:591",
      "erdos:592",
      "erdos:593",
      "erdos:594",
      "erdos:595",
      "erdos:596",
      "erdos:598",
      "erdos:599",
      "erdos:600",
      "erdos:602",
      "erdos:609",
      "erdos:613",
      "erdos:615",
      "erdos:617",
      "erdos:618",
      "erdos:619",
      "erdos:621",
      "erdos:623",
      "erdos:624",
      "erdos:628",
      "erdos:633",
      "erdos:639",
      "erdos:645",
      "erdos:646",
      "erdos:647",
      "erdos:648",
      "erdos:649",
      "erdos:650",
      "erdos:653",
      "erdos:655",
      "erdos:658",
      "erdos:659",
      "erdos:660",
      "erdos:664",
      "erdos:666",
      "erdos:672",
      "erdos:673",
      "erdos:674",
      "erdos:677",
      "erdos:678",
      "erdos:680",
      "erdos:681",
      "erdos:682",
      "erdos:683",
      "erdos:686",
      "erdos:688",
      "erdos:689",
      "erdos:690",
      "erdos:692",
      "erdos:694",
      "erdos:695",
      "erdos:697",
      "erdos:698",
      "erdos:699",
      "erdos:700",
      "erdos:701",
      "erdos:703",
      "erdos:705",
      "erdos:707",
      "erdos:713",
      "erdos:714",
      "erdos:720",
      "erdos:723",
      "erdos:726",
      "erdos:727",
      "erdos:728",
      "erdos:729",
      "erdos:730",
      "erdos:740",
      "erdos:741",
      "erdos:742",
      "erdos:748",
      "erdos:749",
      "erdos:750",
      "erdos:751",
      "erdos:753",
      "erdos:755",
      "erdos:756",
      "erdos:757",
      "erdos:760",
      "erdos:762",
      "erdos:763",
      "erdos:764",
      "erdos:765",
      "erdos:767",
      "erdos:769",
      "erdos:770",
      "erdos:772",
      "erdos:773",
      "erdos:774",
      "erdos:775",
      "erdos:779",
      "erdos:780",
      "erdos:781",
      "erdos:785",
      "erdos:786",
      "erdos:789",
      "erdos:793",
      "erdos:794",
      "erdos:796",
      "erdos:798",
      "erdos:800",
      "erdos:801",
      "erdos:803",
      "erdos:804",
      "erdos:806",
      "erdos:812",
      "erdos:814",
      "erdos:816",
      "erdos:817",
      "erdos:818",
      "erdos:821",
      "erdos:822",
      "erdos:825",
      "erdos:826",
      "erdos:828",
      "erdos:829",
      "erdos:830",
      "erdos:835",
      "erdos:839",
      "erdos:841",
      "erdos:842",
      "erdos:844",
      "erdos:845",
      "erdos:846",
      "erdos:847",
      "erdos:848",
      "erdos:849",
      "erdos:850",
      "erdos:851",
      "erdos:853",
      "erdos:855",
      "erdos:857",
      "erdos:858",
      "erdos:859",
      "erdos:862",
      "erdos:865",
      "erdos:867",
      "erdos:868",
      "erdos:869",
      "erdos:871",
      "erdos:872",
      "erdos:873",
      "erdos:877",
      "erdos:881",
      "erdos:883",
      "erdos:884",
      "erdos:885",
      "erdos:886",
      "erdos:887",
      "erdos:888",
      "erdos:889",
      "erdos:890",
      "erdos:891",
      "erdos:893",
      "erdos:894",
      "erdos:895",
      "erdos:897",
      "erdos:898",
      "erdos:899",
      "erdos:904",
      "erdos:905",
      "erdos:906",
      "erdos:907",
      "erdos:912",
      "erdos:913",
      "erdos:914",
      "erdos:915",
      "erdos:918",
      "erdos:920",
      "erdos:921",
      "erdos:922",
      "erdos:923",
      "erdos:926",
      "erdos:927",
      "erdos:930",
      "erdos:931",
      "erdos:932",
      "erdos:933",
      "erdos:936",
      "erdos:937",
      "erdos:938",
      "erdos:939",
      "erdos:940",
      "erdos:942",
      "erdos:943",
      "erdos:944",
      "erdos:945",
      "erdos:946",
      "erdos:947",
      "erdos:948",
      "erdos:949",
      "erdos:950",
      "erdos:951",
      "erdos:952",
      "erdos:955",
      "erdos:958",
      "erdos:959",
      "erdos:961",
      "erdos:962",
      "erdos:965",
      "erdos:966",
      "erdos:967",
      "erdos:968",
      "erdos:970",
      "erdos:971",
      "erdos:972",
      "erdos:973",
      "erdos:974",
      "erdos:975",
      "erdos:977",
      "erdos:978",
      "erdos:979",
      "erdos:982",
      "erdos:985",
      "erdos:986",
      "erdos:987",
      "erdos:990",
      "erdos:994",
      "erdos:996",
      "erdos:997",
      "erdos:999",
      "erdos:1000",
      "erdos:1002",
      "erdos:1003",
      "erdos:1004",
      "erdos:1005",
      "erdos:1007",
      "erdos:1008",
      "erdos:1009",
      "erdos:1010",
      "erdos:1014",
      "erdos:1020",
      "erdos:1021",
      "erdos:1022",
      "erdos:1023",
      "erdos:1025",
      "erdos:1026",
      "erdos:1027",
      "erdos:1028",
      "erdos:1029",
      "erdos:1030",
      "erdos:1034",
      "erdos:1035",
      "erdos:1036",
      "erdos:1037",
      "erdos:1038",
      "erdos:1041",
      "erdos:1043",
      "erdos:1044",
      "erdos:1046",
      "erdos:1047",
      "erdos:1048",
      "erdos:1049",
      "erdos:1050",
      "erdos:1051",
      "erdos:1052",
      "erdos:1054",
      "erdos:1055",
      "erdos:1056",
      "erdos:1057",
      "erdos:1058",
      "erdos:1059",
      "erdos:1060",
      "erdos:1061",
      "erdos:1062",
      "erdos:1063",
      "erdos:1064",
      "erdos:1065",
      "erdos:1067",
      "erdos:1068",
      "erdos:1071",
      "erdos:1072",
      "erdos:1073",
      "erdos:1074",
      "erdos:1077",
      "erdos:1079",
      "erdos:1080",
      "erdos:1082",
      "erdos:1083",
      "erdos:1084",
      "erdos:1085",
      "erdos:1088",
      "erdos:1089",
      "erdos:1090",
      "erdos:1092",
      "erdos:1093",
      "erdos:1094",
      "erdos:1095",
      "erdos:1096",
      "erdos:1097",
      "erdos:1098",
      "erdos:1099",
      "erdos:1101",
      "erdos:1102",
      "erdos:1104",
      "erdos:1105",
      "erdos:1106",
      "erdos:1107",
      "erdos:1108",
      "erdos:1109",
      "erdos:1110",
      "erdos:1113",
      "erdos:1119",
      "erdos:1121",
      "erdos:1125",
      "erdos:1126",
      "erdos:1128",
      "erdos:1133",
      "erdos:1134",
      "erdos:1135",
      "erdos:1136",
      "erdos:1137",
      "erdos:1138",
      "erdos:1139",
      "erdos:1141",
      "erdos:1142",
      "erdos:1145",
      "erdos:1146",
      "erdos:1147",
      "erdos:1148",
      "erdos:1150",
      "erdos:1159",
      "erdos:1167",
      "erdos:1175",
      "erdos:1176",
      "erdos:1179",
      "erdos:1180",
      "erdos:1187",
      "erdos:1188",
      "erdos:1190",
      "erdos:1192",
      "erdos:1193",
      "erdos:1196",
      "erdos:1197",
      "erdos:1199",
      "erdos:1201",
      "erdos:1203",
      "erdos:1206",
      "erdos:1207",
      "erdos:1209",
      "erdos:1210",
      "erdos:1212",
      "erdos:1213",
      "erdos:1214",
      "green:1",
      "green:2",
      "green:3",
      "green:4",
      "green:5",
      "green:9",
      "green:12",
      "green:14",
      "green:15",
      "green:16",
      "green:18",
      "green:19",
      "green:21",
      "green:22",
      "green:23",
      "green:24",
      "green:25",
      "green:26",
      "green:27",
      "green:28",
      "green:29",
      "green:31",
      "green:32",
      "green:33",
      "green:35",
      "green:36",
      "green:37",
      "green:38",
      "green:39",
      "green:40",
      "green:41",
      "green:42",
      "green:44",
      "green:46",
      "green:47",
      "green:49",
      "green:50",
      "green:51",
      "green:52",
      "green:53",
      "green:54",
      "green:57",
      "green:58",
      "green:60",
      "green:61",
      "green:62",
      "green:64",
      "green:66",
      "green:72",
      "green:77",
      "green:82",
      "green:85",
      "hilbert:5",
      "hilbert:17",
      "kourovka:19_25",
      "kourovka:1_35c",
      "kourovka:1_40",
      "kourovka:1_74",
      "kourovka:20_76",
      "kourovka:8_8",
      "litt:1",
      "mathoverflow:1973",
      "mathoverflow:10799",
      "mathoverflow:17560",
      "mathoverflow:21003",
      "mathoverflow:31809",
      "mathoverflow:34145",
      "mathoverflow:75792",
      "mathoverflow:235893",
      "mathoverflow:339137",
      "mathoverflow:347178",
      "mathoverflow:434111",
      "mathoverflow:486451",
      "mathoverflow:507128",
      "millennium:BSD",
      "millennium:NavierStokes",
      "millennium:Poincare",
      "millennium:PvsNP",
      "millennium:RiemannHypothesis",
      "oeis:40",
      "oeis:41",
      "oeis:108",
      "oeis:224",
      "oeis:945",
      "oeis:1146",
      "oeis:1157",
      "oeis:1223",
      "oeis:1359",
      "oeis:1818",
      "oeis:2326",
      "oeis:2407",
      "oeis:2426",
      "oeis:2454",
      "oeis:2897",
      "oeis:3161",
      "oeis:3162",
      "oeis:3625",
      "oeis:4290",
      "oeis:5153",
      "oeis:5258",
      "oeis:6697",
      "oeis:7013",
      "oeis:7406",
      "oeis:7468",
      "oeis:7918",
      "oeis:11545",
      "oeis:17666",
      "oeis:22030",
      "oeis:24356",
      "oeis:28859",
      "oeis:34693",
      "oeis:34694",
      "oeis:37274",
      "oeis:38098",
      "oeis:38107",
      "oeis:38552",
      "oeis:38771",
      "oeis:46969",
      "oeis:48153",
      "oeis:49473",
      "oeis:51293",
      "oeis:51903",
      "oeis:52709",
      "oeis:53000",
      "oeis:53067",
      "oeis:53175",
      "oeis:55487",
      "oeis:56777",
      "oeis:60841",
      "oeis:60957",
      "oeis:62567",
      "oeis:63880",
      "oeis:64169",
      "oeis:64313",
      "oeis:67599",
      "oeis:67720",
      "oeis:67857",
      "oeis:69004",
      "oeis:69922",
      "oeis:69923",
      "oeis:70518",
      "oeis:70823",
      "oeis:71524",
      "oeis:71532",
      "oeis:72200",
      "oeis:76141",
      "oeis:76495",
      "oeis:77408",
      "oeis:78590",
      "oeis:78680",
      "oeis:78729",
      "oeis:79727",
      "oeis:80101",
      "oeis:80170",
      "oeis:80326",
      "oeis:81091",
      "oeis:83753",
      "oeis:84046",
      "oeis:86766",
      "oeis:87207",
      "oeis:87455",
      "oeis:87571",
      "oeis:87719",
      "oeis:89026",
      "oeis:91591",
      "oeis:91669",
      "oeis:92243",
      "oeis:93456",
      "oeis:93818",
      "oeis:96535",
      "oeis:100434",
      "oeis:100474",
      "oeis:100475",
      "oeis:100478",
      "oeis:100800",
      "oeis:101779",
      "oeis:102371",
      "oeis:102722",
      "oeis:102847",
      "oeis:103151",
      "oeis:103311",
      "oeis:103425",
      "oeis:103662",
      "oeis:103885",
      "oeis:104320",
      "oeis:105020",
      "oeis:105033",
      "oeis:105210",
      "oeis:105565",
      "oeis:105720",
      "oeis:105751",
      "oeis:105801",
      "oeis:107247",
      "oeis:108081",
      "oeis:108129",
      "oeis:108211",
      "oeis:108301",
      "oeis:108306",
      "oeis:108569",
      "oeis:108864",
      "oeis:108866",
      "oeis:109074",
      "oeis:109227",
      "oeis:109671",
      "oeis:109845",
      "oeis:109905",
      "oeis:109908",
      "oeis:109909",
      "oeis:110475",
      "oeis:110566",
      "oeis:110835",
      "oeis:110854",
      "oeis:111114",
      "oeis:111291",
      "oeis:112521",
      "oeis:112970",
      "oeis:113010",
      "oeis:113019",
      "oeis:113213",
      "oeis:113250",
      "oeis:113252",
      "oeis:113254",
      "oeis:113255",
      "oeis:113257",
      "oeis:113258",
      "oeis:113271",
      "oeis:113609",
      "oeis:114137",
      "oeis:114216",
      "oeis:114362",
      "oeis:114831",
      "oeis:115257",
      "oeis:115366",
      "oeis:116150",
      "oeis:117027",
      "oeis:117531",
      "oeis:117545",
      "oeis:119563",
      "oeis:119591",
      "oeis:120424",
      "oeis:129365",
      "oeis:130911",
      "oeis:135508",
      "oeis:141057",
      "oeis:145355",
      "oeis:153330",
      "oeis:157225",
      "oeis:157237",
      "oeis:159829",
      "oeis:160324",
      "oeis:166944",
      "oeis:167604",
      "oeis:167918",
      "oeis:175386",
      "oeis:176477",
      "oeis:179524",
      "oeis:179537",
      "oeis:180017",
      "oeis:181546",
      "oeis:182126",
      "oeis:182510",
      "oeis:185150",
      "oeis:185895",
      "oeis:194806",
      "oeis:211417",
      "oeis:224515",
      "oeis:227582",
      "oeis:228143",
      "oeis:228828",
      "oeis:231201",
      "oeis:232174",
      "oeis:237271",
      "oeis:239957",
      "oeis:243106",
      "oeis:248802",
      "oeis:256012",
      "oeis:258667",
      "oeis:260194",
      "oeis:267581",
      "oeis:271591",
      "oeis:278070",
      "oeis:280831",
      "oeis:281976",
      "oeis:282779",
      "oeis:287616",
      "oeis:289411",
      "oeis:300997",
      "oeis:303639",
      "oeis:303656",
      "oeis:306424",
      "oeis:306477",
      "oeis:307865",
      "oeis:308734",
      "oeis:309132",
      "oeis:317940",
      "oeis:323557",
      "oeis:325046",
      "oeis:340737",
      "oeis:341254",
      "oeis:357513",
      "oeis:358684",
      "oeis:363102",
      "oeis:363347",
      "oeis:368692",
      "oeis:372761",
      "oeis:382590",
      "quantum:13",
      "quantum:23",
      "quantum:35",
      "optimization:1a",
      "other:BeaverMathOlympiad",
      "other:EquationalTheories_677_255",
      "other:GerstenhaberThreeMatrices",
      "other:Rule30",
      "other:SchurTruncatedExponential",
      "other:SuffixPrefixAvoidance",
      "other:SymbolLengthMilnorKTheory",
      "other:VCDimConvex",
      "paper:AuslanderReiten",
      "paper:BranchingVAS",
      "paper:CardinalityLindelof",
      "paper:CasasAlvero",
      "paper:CatchUpConjecture",
      "paper:Chvatal",
      "paper:ClaudesCycles",
      "paper:ConjugacyClassSizes",
      "paper:DeGiorgi",
      "paper:DegreeSequencesTriangleFree",
      "paper:Dubner",
      "paper:EisenbudGreenHarris",
      "paper:FusibleNumber",
      "paper:Gourevitch",
      "paper:HartshorneConjecture",
      "paper:Homogenous",
      "paper:KotzigConjecture",
      "paper:Kurepa",
      "paper:LatinSquare",
      "paper:LatinTableau",
      "paper:MonochromaticQuantumGraph",
      "paper:NLSCritical",
      "paper:PrimeTuples",
      "paper:ReedOmegaDeltaChi",
      "paper:RingelConjecture",
      "paper:Rupert",
      "paper:SerreUniformity",
      "paper:SizeOrderConnectedDomination",
      "paper:StrongSensitivityConjecture",
      "paper:TuDengConjecture",
      "paper:VoronovskajaTypeFormula",
      "paper:WeakTiling",
      "paper:WeaklyFirstCountable",
      "paper:ZagierMZV",
      "subsets:FC100OpenSet1",
      "subsets:FC100SolvedSet1",
      "wikipedia:ABC",
      "wikipedia:AgohGiuga",
      "wikipedia:Agrawal",
      "wikipedia:AlgebraicNormality",
      "wikipedia:AlmostPerfectNumbers",
      "wikipedia:AndrewsCurtis",
      "wikipedia:Andrica",
      "wikipedia:ArtinPrimitiveRootsConjecture",
      "wikipedia:BalancedPrimes",
      "wikipedia:BatemanHornConjecture",
      "wikipedia:BealConjecture",
      "wikipedia:BeckFialaConjecture",
      "wikipedia:BetrothedNumbers",
      "wikipedia:BingBorsuk",
      "wikipedia:Bloch",
      "wikipedia:BorsukConjecture",
      "wikipedia:BoundedBurnsideProblem",
      "wikipedia:Brennanconjecture",
      "wikipedia:BrocardConjecture",
      "wikipedia:BrocardProblem",
      "wikipedia:Buchi",
      "wikipedia:Bunyakovsky",
      "wikipedia:BusyBeaver",
      "wikipedia:CarmichaelTotient",
      "wikipedia:Catalan",
      "wikipedia:CernyConjecture",
      "wikipedia:ClassNumberProblem",
      "wikipedia:CongruentNumber",
      "wikipedia:Conway99Graph",
      "wikipedia:DedekindNumber",
      "wikipedia:DeterminantalConjecture",
      "wikipedia:DiameterSimpleFiniteGroups",
      "wikipedia:Dickson",
      "wikipedia:DiophantineTuple",
      "wikipedia:ElliottHalberstamConjecture",
      "wikipedia:EllipticCurveRank",
      "wikipedia:ErdosMoser",
      "wikipedia:ErdosRadoSunflowerConjecture",
      "wikipedia:Euclid",
      "wikipedia:EulerBrick",
      "wikipedia:EulerSumOfPowers",
      "wikipedia:Exponentials",
      "wikipedia:FactorialPrime",
      "wikipedia:Falconer",
      "wikipedia:FeitThompsonPrimeConjecture",
      "wikipedia:Fermat",
      "wikipedia:FermatCatalanConjecture",
      "wikipedia:FibonacciPrimes",
      "wikipedia:Firoozbakht",
      "wikipedia:FlintCooksonHills",
      "wikipedia:FortuneConjecture",
      "wikipedia:Fuglede",
      "wikipedia:GapConjecture",
      "wikipedia:GaussCircleProblem",
      "wikipedia:Gilbreath",
      "wikipedia:GoldbachConjecture",
      "wikipedia:GoodmanConjecture",
      "wikipedia:Goormaghtigh",
      "wikipedia:GracefulLabeling",
      "wikipedia:Grimm",
      "wikipedia:GromovPolynomialGrowth",
      "wikipedia:Hadamard",
      "wikipedia:HadwigerNelson",
      "wikipedia:Hall",
      "wikipedia:HappyEndingProblem",
      "wikipedia:HardyLittlewood",
      "wikipedia:HasseWeil",
      "wikipedia:HerzogSchonheimConjecture",
      "wikipedia:HilbertFifthProblem",
      "wikipedia:IdonealCompleteness",
      "wikipedia:InscribedSquare",
      "wikipedia:InvariantSubspaceProblem",
      "wikipedia:InverseGalois",
      "wikipedia:Irrational",
      "wikipedia:JacobianConjecture",
      "wikipedia:Jacobson",
      "wikipedia:JugglerConjecture",
      "wikipedia:Kakeya",
      "wikipedia:Kaplansky",
      "wikipedia:Koethe",
      "wikipedia:KomlosConjecture",
      "wikipedia:KummerVandiver",
      "wikipedia:LanderParkinAndSelfridgeConjecture",
      "wikipedia:LegendreConjecture",
      "wikipedia:LehmerMahlerMeasureProblem",
      "wikipedia:LehmerTotient",
      "wikipedia:LeinsterGroup",
      "wikipedia:Lemoine",
      "wikipedia:LittlewoodConjecture",
      "wikipedia:LocalUniformization",
      "wikipedia:LonelyRunnerConjecture",
      "wikipedia:LovaszPlummerConjecture",
      "wikipedia:LychrelNumbers",
      "wikipedia:MagicSquares",
      "wikipedia:Mahler32",
      "wikipedia:Mandelbrot",
      "wikipedia:MeanValueProblem",
      "wikipedia:Mersenne",
      "wikipedia:Mills",
      "wikipedia:MinimalOverlapProblem",
      "wikipedia:ModularityConjecture",
      "wikipedia:MoserWorm",
      "wikipedia:MovingSofa",
      "wikipedia:NoThreeInLineProblem",
      "wikipedia:NoetherProblem",
      "wikipedia:NormalityOfPi",
      "wikipedia:OddWeirdNumber",
      "wikipedia:Oppermann",
      "wikipedia:PebblingNumberConjecture",
      "wikipedia:Pell",
      "wikipedia:PerfectNumbers",
      "wikipedia:PierceBirkhoff",
      "wikipedia:PierpontPrime",
      "wikipedia:PollocksConjecture",
      "wikipedia:PolyTimeFunctions",
      "wikipedia:PompeiuProblem",
      "wikipedia:PowerfulNumbersDensity",
      "wikipedia:PrimeTriplets",
      "wikipedia:PrimesAndPerfectSquares",
      "wikipedia:QuasiperfectNumbers",
      "wikipedia:RamanujanTau",
      "wikipedia:RamseyNumbers",
      "wikipedia:RationalDistanceProblem",
      "wikipedia:RegularPrimes",
      "wikipedia:RiemannZetaValues",
      "wikipedia:RudinsConjecture",
      "wikipedia:SatoTateConjecture",
      "wikipedia:Schanuel",
      "wikipedia:Schinzel",
      "wikipedia:ScholzConjecture",
      "wikipedia:Selfridge",
      "wikipedia:Sendov",
      "wikipedia:SerreMultiplicityConjectures",
      "wikipedia:SidorenkoConjecture",
      "wikipedia:SierpinskiNumber",
      "wikipedia:Singmaster",
      "wikipedia:SixStandardDeviations",
      "wikipedia:SnakeInTheBox",
      "wikipedia:SolitaryNumber",
      "wikipedia:SparseRuler",
      "wikipedia:SquarePacking",
      "wikipedia:SteinerSystem",
      "wikipedia:SumOfThreeCubes",
      "wikipedia:Superperfectnumbers",
      "wikipedia:SurjunctiveGroup",
      "wikipedia:TarskiExponentialFunctionProblem",
      "wikipedia:Taxicab",
      "wikipedia:Toronto",
      "wikipedia:Transcendental",
      "wikipedia:TwinPrimes",
      "wikipedia:UnionClosed",
      "wikipedia:VaughtConjecture",
      "wikipedia:VizingConjecture",
      "wikipedia:WallSunSun",
      "wikipedia:WieferichMirimanoffPrime",
      "wikipedia:WieferichPrime",
      "wikipedia:WilsonPrime",
      "wikipedia:WolstenholmePrime",
      "wikipedia:WoodalPrimes",
      "wikipedia:conjecture_1_3_to_2_3",
      "wall2:160",
      "wall2:GraphConjecture1",
      "wall2:GraphConjecture100",
      "wall2:GraphConjecture101",
      "wall2:GraphConjecture103",
      "wall2:GraphConjecture109",
      "wall2:GraphConjecture13",
      "wall2:GraphConjecture133",
      "wall2:GraphConjecture141",
      "wall2:GraphConjecture142",
      "wall2:GraphConjecture143",
      "wall2:GraphConjecture144",
      "wall2:GraphConjecture145",
      "wall2:GraphConjecture146",
      "wall2:GraphConjecture16",
      "wall2:GraphConjecture17",
      "wall2:GraphConjecture172",
      "wall2:GraphConjecture176",
      "wall2:GraphConjecture18",
      "wall2:GraphConjecture181",
      "wall2:GraphConjecture19",
      "wall2:GraphConjecture194",
      "wall2:GraphConjecture198a",
      "wall2:GraphConjecture2",
      "wall2:GraphConjecture20",
      "wall2:GraphConjecture200",
      "wall2:GraphConjecture217",
      "wall2:GraphConjecture23",
      "wall2:GraphConjecture291",
      "wall2:GraphConjecture3",
      "wall2:GraphConjecture309",
      "wall2:GraphConjecture31",
      "wall2:GraphConjecture314",
      "wall2:GraphConjecture315",
      "wall2:GraphConjecture316",
      "wall2:GraphConjecture32",
      "wall2:GraphConjecture322",
      "wall2:GraphConjecture327",
      "wall2:GraphConjecture33",
      "wall2:GraphConjecture34",
      "wall2:GraphConjecture36",
      "wall2:GraphConjecture4",
      "wall2:GraphConjecture40",
      "wall2:GraphConjecture430a",
      "wall2:GraphConjecture438b",
      "wall2:GraphConjecture5",
      "wall2:GraphConjecture58",
      "wall2:GraphConjecture59",
      "wall2:GraphConjecture6",
      "wall2:GraphConjecture61",
      "wall2:GraphConjecture63",
      "wall2:GraphConjecture65",
      "wall2:GraphConjecture7",
      "wall2:GraphConjecture85",
      "wall2:Test",
      "arxiv:0805.3777/TensorRank",
      "arxiv:0911.2077/Conjecture6_3",
      "arxiv:0912.2382/CurlingNumberConjecture",
      "arxiv:1102.4662/AtiyahSutcliffe",
      "arxiv:1104.1579/CunninghamChain",
      "arxiv:1308.0994/BoxdotConjecture",
      "arxiv:1601.03081/UniqueCrystalComponents",
      "arxiv:1609.08688/sIncreasingrTuples",
      "arxiv:2001.02665/RingelConjecture",
      "arxiv:2104.00502/BarkerSequence",
      "arxiv:2107.00295/IndependentDomination",
      "arxiv:2107.12475/CollatzLike",
      "arxiv:2208.14736/ZariskiCancellation",
      "arxiv:2209.04540/SpectralSetsAndWeakTiling",
      "arxiv:2303.01089/FurstenbergTimesPTimesQ",
      "arxiv:2402.13202/CirculantHadamard",
      "arxiv:2501.03234/ArithmeticSumS",
      "arxiv:2504.17644/Margulis",
      "arxiv:2507.17780/1",
      "arxiv:2507.17780/2",
      "arxiv:2507.17780/3",
      "arxiv:2507.17780/4",
      "arxiv:2602.05192/FirstProof4",
      "arxiv:2602.05192/FirstProof6",
      "arxiv:2604.08040/Conjecture5_5",
      "arxiv:2605.02731/DeanCycles",
      "arxiv:2605.12342/Conjecture1",
      "arxiv:2606.03696/BondyLongestCycles",
      "arxiv:2607.03582/LpRogersShephard",
      "arxiv:2607.05349/MicroscopicWeighting",
      "arxiv:2607.05739/TanArctanSum",
      "arxiv:2607.06396/AlonTarsi",
      "arxiv:2607.08366/MinModulus",
      "arxiv:math.0110202/BanachMazurRotation",
      "arxiv:math.0301027/FiniteGenerationOfCohomology",
      "arxiv:math.0608009/PoissonConjecture",
      "arxiv:math.0703548/FarrellJonesConsequences"
    ]
  },
  {
    "id": "erdos-prize-open",
    "name": "Erdős prize problems still open",
    "description": "Erdős problems with money attached and no recorded solution.",
    "size": 47,
    "with_ai_claim": 7,
    "with_artifact": 5,
    "with_verified_proof": 0,
    "members": [
      "erdos:3",
      "erdos:20",
      "erdos:28",
      "erdos:30",
      "erdos:39",
      "erdos:40",
      "erdos:41",
      "erdos:50",
      "erdos:52",
      "erdos:66",
      "erdos:77",
      "erdos:78",
      "erdos:86",
      "erdos:89",
      "erdos:99",
      "erdos:101",
      "erdos:104",
      "erdos:120",
      "erdos:132",
      "erdos:138",
      "erdos:142",
      "erdos:143",
      "erdos:161",
      "erdos:165",
      "erdos:241",
      "erdos:470",
      "erdos:500",
      "erdos:564",
      "erdos:588",
      "erdos:592",
      "erdos:593",
      "erdos:595",
      "erdos:601",
      "erdos:604",
      "erdos:634",
      "erdos:661",
      "erdos:671",
      "erdos:687",
      "erdos:708",
      "erdos:710",
      "erdos:711",
      "erdos:712",
      "erdos:713",
      "erdos:1029",
      "erdos:1052",
      "erdos:1135",
      "erdos:1191"
    ]
  }
]