feat(ErdosProblems): All 1179 Erdős conjectures formalized#3422

Open

ryantuck wants to merge 821 commits intogoogle-deepmind:mainfrom

ryantuck:erdos-all

This pull request is big! We're only showing the most recent 250 commits

Commits on Mar 15, 2026

fix(ErdosProblems/867): apply review fixes — citations, readability

ryantuck
and
claude
committed
fix(ErdosProblems/869): apply review fixes — code reuse, citations

ryantuck
and
claude
committed
fix(ErdosProblems/872): apply review fixes — readability

ryantuck
and
claude
committed
fix(ErdosProblems/871): apply review fixes — code reuse, citations

ryantuck
and
claude
committed
fix(ErdosProblems/870): apply review fixes — citations, variants, readability

ryantuck
and
claude
committed
fix(ErdosProblems/875): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/874): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/876): apply review fixes — citations, variants

ryantuck
and
claude
committed
fix(ErdosProblems/878): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/877): apply review fixes — code reuse, citations

ryantuck
and
claude
committed
fix(ErdosProblems/879): apply review fixes — code reuse, citations

ryantuck
and
claude
committed
fix(ErdosProblems/880): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/883): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/882): apply review fixes — citations, variants

ryantuck
and
claude
committed
fix(ErdosProblems/884): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/892): apply review fixes — citations, readability

ryantuck
and
claude
committed
fix(ErdosProblems/894): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/895): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/896): apply review fixes — citations, variants, readability

ryantuck
and
claude
committed
fix(ErdosProblems/898): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/901): apply review fixes — citations, correctness

ryantuck
and
claude
committed
fix(ErdosProblems/900): apply review fixes — code reuse, citations, readability

ryantuck
and
claude
committed
fix(ErdosProblems/902): apply review fixes — citations, variants, readability

ryantuck
and
claude
committed
fix(ErdosProblems/903): apply review fixes — citations, correctness

ryantuck
and
claude
committed
fix(ErdosProblems/904): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/907): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/905): apply review fixes — citations, correctness

ryantuck
and
claude
committed
fix(ErdosProblems/908): apply review fixes — citations, readability

ryantuck
and
claude
committed
fix(ErdosProblems/909): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/910): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/911): apply review fixes — code reuse

ryantuck
and
claude
committed
fix(ErdosProblems/914): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/916): apply review fixes — readability

ryantuck
and
claude
committed
fix(ErdosProblems/915): apply review fixes — code reuse, citations, variants

ryantuck
and
claude
committed
fix(ErdosProblems/917): apply review fixes — code reuse, citations, readability

ryantuck
and
claude
committed
fix(ErdosProblems/919): apply review fixes — code reuse, citations

ryantuck
and
claude
committed
fix(ErdosProblems/921): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/922): apply review fixes — code reuse, citations, readability

ryantuck
and
claude
committed
fix(ErdosProblems/923): apply review fixes — citations, readability

ryantuck
and
claude
committed
fix(ErdosProblems/924): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/925): apply review fixes — code reuse, citations

ryantuck
and
claude
committed
fix(ErdosProblems/926): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/928): apply review fixes — code reuse, citations

ryantuck
and
claude
committed
fix(ErdosProblems/927): apply review fixes — code reuse, citations, variants

ryantuck
and
claude
committed
fix(ErdosProblems/929): apply review fixes — citations, readability

ryantuck
and
claude
committed
fix(ErdosProblems/933): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/935): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/934): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/941): apply review fixes — code reuse, citations

ryantuck
and
claude
committed
fix(ErdosProblems/947): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/937): apply review fixes — code reuse, citations, variants

ryantuck
and
claude
committed
fix(ErdosProblems/948): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/950): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/953): apply review fixes — code reuse, citations

ryantuck
and
claude
committed
fix(ErdosProblems/954): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/955): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/957): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/956): apply review fixes — code reuse, citations

ryantuck
and
claude
committed
fix(ErdosProblems/958): apply review fixes — citations, readability

ryantuck
and
claude
committed
fix(ErdosProblems/962): apply review fixes — citations, readability

ryantuck
and
claude
committed
fix(ErdosProblems/959): apply review fixes — citations, correctness

ryantuck
and
claude
committed
fix(ErdosProblems/960): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/963): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/964): apply review fixes — citations, variants

ryantuck
and
claude
committed
fix(ErdosProblems/966): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/970): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/967): apply review fixes — code reuse, variants

ryantuck
and
claude
committed
fix(ErdosProblems/969): apply review fixes — citations, variants, correctness

ryantuck
and
claude
committed
fix(ErdosProblems/974): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/973): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/976): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/977): apply review fixes — code reuse, citations, variants

ryantuck
and
claude
committed
fix(ErdosProblems/981): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/983): apply review fixes — code reuse, citations

ryantuck
and
claude
committed
fix(ErdosProblems/980): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/988): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/986): apply review fixes — citations, variants

ryantuck
and
claude
committed
fix(ErdosProblems/989): apply review fixes — citations, correctness

ryantuck
and
claude
committed
fix(ErdosProblems/987): apply review fixes — citations, correctness

ryantuck
and
claude
committed
fix(ErdosProblems/991): apply review fixes — citations, readability

ryantuck
and
claude
committed
fix(ErdosProblems/990): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/993): apply review fixes — code reuse, citations

ryantuck
and
claude
committed
fix(ErdosProblems/992): apply review fixes — citations, variants

ryantuck
and
claude
committed
fix(ErdosProblems/994): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/995): apply review fixes — code reuse, correctness

ryantuck
and
claude
committed
fix(ErdosProblems/998): apply review fixes — citations, correctness

ryantuck
and
claude
committed
fix(ErdosProblems/999): apply review fixes — citations, correctness

ryantuck
and
claude
committed
fix(ErdosProblems/1001): apply review fixes — citations, variants

ryantuck
and
claude
committed
fix(ErdosProblems/1005): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1006): apply review fixes — citations, variants

ryantuck
and
claude
committed
fix(ErdosProblems/1007): apply review fixes — citations, variants, readability

ryantuck
and
claude
committed
fix(ErdosProblems/1009): apply review fixes — readability

ryantuck
and
claude
committed
fix(ErdosProblems/1008): apply review fixes — citations, readability

ryantuck
and
claude
committed
fix(ErdosProblems/1011): apply review fixes — citations, readability

ryantuck
and
claude
committed
fix(ErdosProblems/1013): apply review fixes — citations, readability

ryantuck
and
claude
committed
fix(ErdosProblems/1014): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1012): apply review fixes — citations, code reuse

ryantuck
and
claude
committed
fix(ErdosProblems/1017): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1015): apply review fixes — citations, correctness, variants, readability

ryantuck
and
claude
committed
fix(ErdosProblems/1018): apply review fixes — citations, code reuse, variants

ryantuck
and
claude
committed
fix(ErdosProblems/1016): apply review fixes — citations, code reuse, variants, readability

ryantuck
and
claude
committed
fix(ErdosProblems/1020): apply review fixes — readability

ryantuck
and
claude
committed
fix(ErdosProblems/1019): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1022): apply review fixes — citations, correctness

ryantuck
and
claude
committed
fix(ErdosProblems/1024): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1023): apply review fixes — citations, variants

ryantuck
and
claude
committed
fix(ErdosProblems/1021): apply review fixes — citations, variants

ryantuck
and
claude
committed
fix(ErdosProblems/1025): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1026): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1027): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1028): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1029): apply review fixes — code reuse

ryantuck
and
claude
committed
fix(ErdosProblems/1031): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1030): apply review fixes — citations, variants

ryantuck
and
claude
committed
fix(ErdosProblems/1032): apply review fixes — code reuse, citations, variants

ryantuck
and
claude
committed
fix(ErdosProblems/1034): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1033): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1035): apply review fixes — citations, readability

ryantuck
and
claude
committed
fix(ErdosProblems/1036): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1037): apply review fixes — code reuse, citations

ryantuck
and
claude
committed
fix(ErdosProblems/1039): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1042): apply review fixes — variants

ryantuck
and
claude
committed
fix(ErdosProblems/1040): apply review fixes — citations, variants

ryantuck
and
claude
committed
fix(ErdosProblems/1045): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1044): apply review fixes — readability, variants

ryantuck
and
claude
committed
fix(ErdosProblems/1048): apply review fixes — readability

ryantuck
and
claude
committed
fix(ErdosProblems/1047): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1046): apply review fixes — readability, variants

ryantuck
and
claude
committed
fix(ErdosProblems/1050): apply review fixes — citations, readability, variants

ryantuck
and
claude
committed
fix(ErdosProblems/1053): apply review fixes — code reuse, citations, variants, readability

ryantuck
and
claude
committed
fix(ErdosProblems/1057): apply review fixes — code reuse, citations

ryantuck
and
claude
committed
fix(ErdosProblems/1069): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1066): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1058): apply review fixes — code reuse, readability

ryantuck
and
claude
committed
fix(ErdosProblems/1076): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1070): apply review fixes — citations, readability

ryantuck
and
claude
committed
fix(ErdosProblems/1075): apply review fixes — citations, variants, readability

ryantuck
and
claude
committed
fix(ErdosProblems/1081): apply review fixes — code reuse, citations

ryantuck
and
claude
committed
fix(ErdosProblems/1079): apply review fixes — code reuse, citations, variants

ryantuck
and
claude
committed
fix(ErdosProblems/1083): apply review fixes — citations, readability

ryantuck
and
claude
committed
fix(ErdosProblems/1082): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1087): apply review fixes — code reuse, citations

ryantuck
and
claude
committed
fix(ErdosProblems/1088): apply review fixes — citations, variants

ryantuck
and
claude
committed
fix(ErdosProblems/1089): apply review fixes — code reuse, citations

ryantuck
and
claude
committed
fix(ErdosProblems/1090): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1086): apply review fixes — code reuse, citations

ryantuck
and
claude
committed
fix(ErdosProblems/1096): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1098): apply review fixes — readability

ryantuck
and
claude
committed
fix(ErdosProblems/1099): apply review fixes — variants

ryantuck
and
claude
committed
fix(ErdosProblems/1100): apply review fixes — citations, readability

ryantuck
and
claude
committed
fix(ErdosProblems/1103): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1109): apply review fixes — citations, variants

ryantuck
and
claude
committed
fix(ErdosProblems/1110): apply review fixes — code reuse, citations, variants

ryantuck
and
claude
committed
fix(ErdosProblems/1113): apply review fixes — citations, variants

ryantuck
and
claude
committed
fix(ErdosProblems/1111): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1114): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1116): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1115): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1117): apply review fixes — citations, variants

ryantuck
and
claude
committed
fix(ErdosProblems/1112): apply review fixes — citations, correctness, variants

ryantuck
and
claude
committed
fix(ErdosProblems/1118): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1120): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1119): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1121): apply review fixes — variants

ryantuck
and
claude
committed
fix(ErdosProblems/1123): apply review fixes — code reuse, citations

ryantuck
and
claude
committed
fix(ErdosProblems/1125): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1124): apply review fixes — code reuse, citations, variants

ryantuck
and
claude
committed
fix(ErdosProblems/1122): apply review fixes — code reuse, citations

ryantuck
and
claude
committed
fix(ErdosProblems/1126): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1127): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1130): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1133): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1131): apply review fixes — citations, readability

ryantuck
and
claude
committed
fix(ErdosProblems/1136): apply review fixes — citations, readability, correctness

ryantuck
and
claude
committed
fix(ErdosProblems/1134): apply review fixes — code reuse, citations, variants, readability

ryantuck
and
claude
committed
fix(ErdosProblems/1138): apply review fixes — code reuse

ryantuck
and
claude
committed
fix(ErdosProblems/1140): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1142): apply review fixes — citations, readability

ryantuck
and
claude
committed
fix(ErdosProblems/1144): apply review fixes — citations, readability

ryantuck
and
claude
committed
fix(ErdosProblems/1143): apply review fixes — citations, variants, readability

ryantuck
and
claude
committed
fix(ErdosProblems/1146): apply review fixes — code reuse, citations, readability

ryantuck
and
claude
committed
fix(ErdosProblems/1147): apply review fixes — code reuse, citations, variants

ryantuck
and
claude
committed
fix(ErdosProblems/1153): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1154): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1151): apply review fixes — code reuse, citations, variants

ryantuck
and
claude
committed
fix(ErdosProblems/1155): apply review fixes — code reuse, citations, variants

ryantuck
and
claude
committed
fix(ErdosProblems/1156): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1157): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1158): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1159): apply review fixes — citations, variants

ryantuck
and
claude
committed
fix(ErdosProblems/1160): apply review fixes — citations, variants

ryantuck
and
claude
committed
fix(ErdosProblems/1162): apply review fixes — citations, correctness

ryantuck
and
claude
committed
fix(ErdosProblems/1161): apply review fixes — citations, variants

ryantuck
and
claude
committed
fix(ErdosProblems/1163): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1164): apply review fixes — citations, variants

ryantuck
and
claude
committed
fix(ErdosProblems/1166): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1167): apply review fixes — citations, docstring

ryantuck
and
claude
committed
fix(ErdosProblems/1170): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1169): apply review fixes — citations, correctness

ryantuck
and
claude
committed
fix(ErdosProblems/1171): apply review fixes — citations, docstring

ryantuck
and
claude
committed
fix(ErdosProblems/1172): apply review fixes — citations, code reuse

ryantuck
and
claude
committed
fix(ErdosProblems/1175): apply review fixes — citations, code reuse

ryantuck
and
claude
committed
fix(ErdosProblems/1177): apply review fixes — citations, readability

ryantuck
and
claude
committed
fix(ErdosProblems/1174): apply review fixes — code reuse

ryantuck
and
claude
committed
fix(ErdosProblems/1173): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/1179): apply review fixes — citations, correctness

ryantuck
and
claude
committed
fix(ErdosProblems/1178): apply review fixes — citations, readability

ryantuck
and
claude
committed
refactor(ErdosProblems): remove cross-file imports between ErdosProblems

ryantuck
and
claude
committed
fix(ErdosProblems/8): complete [Er96b] citation with title and journal

ryantuck
and
claude
committed
fix(ErdosProblems/5): add full bibliographic citations

ryantuck
and
claude
committed
fix(ErdosProblems/7): fix citation tags and bibliographic details

ryantuck
and
claude
committed
fix(ErdosProblems/2): apply review fixes — citations

ryantuck
and
claude
committed
fix(ErdosProblems/16): correct [Ch23] citation author and title

ryantuck
and
claude
committed
fix(ErdosProblems/19): complete [KKKMO21] citation with volume and pages

ryantuck
and
claude
committed
fix(ErdosProblems/15): correct [Er98] and [Ta23] citation details

ryantuck
and
claude
committed
fix(ErdosProblems/18): expand citations with full bibliographic details

ryantuck
and
claude
committed
fix(ErdosProblems/21): correct citation details from LaTeX source

ryantuck
and
claude
committed
fix(ErdosProblems/22): complete [BoEr76] and [FLZ15] citations with pages

ryantuck
and
claude
committed
fix(ErdosProblems/27): normalize citation formatting to match project convention

ryantuck
and
claude
committed
fix(ErdosProblems/24): correct [Er92b] volume and [Er97f] citation details

ryantuck
and
claude
committed
fix(ErdosProblems/34): normalize citation formatting to match project convention

ryantuck
and
claude
committed
fix(ErdosProblems/29): correct citation details from LaTeX source

ryantuck
and
claude
committed
fix(ErdosProblems/35): complete [Er36c] citation with full bibliographic details

ryantuck
and
claude
committed
fix(ErdosProblems/31): complete [Er65b] citation with journal and pages

ryantuck
and
claude
committed
fix(ErdosProblems/37): normalize citation formatting to match project convention

ryantuck
and
claude
committed
fix(ErdosProblems/45): correct and complete citation formatting

ryantuck
and
claude
committed
fix(ErdosProblems/43): normalize citation volume formatting to match project convention

ryantuck
and
claude
committed
fix(ErdosProblems/46): add missing citations and fix citation formatting

ryantuck
and
claude
committed
fix(ErdosProblems/47): normalize citation formatting to match project convention

ryantuck
and
claude
committed
fix(ErdosProblems/49): correct and complete citation formatting

ryantuck
and
claude
committed
fix(ErdosProblems/50): correct and complete [Er95] citation formatting

ryantuck
and
claude
committed
fix(ErdosProblems/52): normalize citation formatting to match project convention

ryantuck
and
claude
committed
fix(ErdosProblems/53): normalize citation formatting to match project convention

ryantuck
and
claude
committed
fix(ErdosProblems/58): normalize citation formatting to match project convention

ryantuck
and
claude
committed
fix(ErdosProblems/57): normalize citation formatting to match project convention

ryantuck
and
claude
committed
fix(ErdosProblems/55): add missing [BuEr85] citation and normalize formatting

ryantuck
and
claude
committed
fix(ErdosProblems/54): correct and complete citation formatting

ryantuck
and
claude
committed
fix(ErdosProblems/59): normalize citation formatting to match project convention

ryantuck
and
claude
committed
fix(ErdosProblems/60): correct [HeMaYa21] citation title and add journal

ryantuck
and
claude
committed
fix(ErdosProblems/63): normalize citation formatting to match project convention

ryantuck
and
claude
committed
fix(ErdosProblems/62): normalize citation formatting to match project convention

ryantuck
and
claude
committed
fix(ErdosProblems/70): normalize citation formatting to match project convention

ryantuck
and
claude
committed
fix(ErdosProblems/65): normalize citation formatting to match project convention

ryantuck
and
claude
committed
fix(ErdosProblems/71): normalize citation formatting to match project convention

ryantuck
and
claude
committed
fix(ErdosProblems/73): normalize citation formatting to match project convention

ryantuck
and
claude
committed
fix(ErdosProblems/72): normalize citation formatting to match project convention

ryantuck
and
claude
committed
fix(ErdosProblems/75): normalize citation formatting to match project convention

ryantuck
and
claude
committed
fix(ErdosProblems/76): normalize citation formatting to match project convention

ryantuck
and
claude
committed
fix(ErdosProblems/77): normalize citation formatting to match project convention

ryantuck
and
claude
committed
fix(ErdosProblems/78): normalize citation formatting to match project convention

ryantuck
and
claude
committed