Skip to content

Pull requests: SamPetkov/Erdos

New pull request New
28 Open 30 Closed
28 Open 30 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Referee-proofread and harden the Erdős 625 manuscript
#58 opened Aug 5, 2026 by SamPetkov Owner • Draft
Make the Erdős 625 manuscript self-contained and verification-safe
#57 opened Aug 4, 2026 by SamPetkov Owner • Draft
1
Rewrite the Erdős 625 manuscript in clear AMS-style prose
#56 opened Aug 2, 2026 by SamPetkov Owner • Draft
Simplify Section 8 through a direct half-deficit product assembly
#55 opened Jul 29, 2026 by SamPetkov Owner • Draft
1
Audit and standardize graph-theoretic definitions in Erdős 625
#54 opened Jul 27, 2026 by SamPetkov Owner • Draft
Identify attained high-skeleton weights with exact partial-cell fibres
#53 opened Jul 27, 2026 by SamPetkov Owner • Draft
Audit the Erdős 625 manuscript line by line and theorem by theorem
#52 opened Jul 27, 2026 by SamPetkov Owner • Draft
Prove and exhaustively audit the fixed-support physical-fibre ratio
#50 opened Jul 27, 2026 by SamPetkov Owner • Draft
1
Sharpen and simplify the Section 8 all-deficit partition function
#49 opened Jul 27, 2026 by SamPetkov Owner • Draft
Reindex attained high demands by block support and bounded deficits
#48 opened Jul 26, 2026 by SamPetkov Owner • Draft
Turn the Erdős 625 roadmap into a reader-first Version 2 manuscript pass
#47 opened Jul 26, 2026 by SamPetkov Owner • Draft
Add a reader-first Version 2 proof roadmap
#46 opened Jul 26, 2026 by SamPetkov Owner • Draft
Close the Section 8 physical-fibre and all-deficit seam
#45 opened Jul 26, 2026 by SamPetkov Owner • Draft
Re-audit the full Erdős 625 TeX and specify the corrected Version 2 proof
#44 opened Jul 26, 2026 by SamPetkov Owner • Draft
2
Document the full Erdős 625 theorem-upgrade and follow-up program
#43 opened Jul 26, 2026 by SamPetkov Owner • Draft
2
Add deterministic Balan–Wang strong partial-results dossier
#42 opened Jul 25, 2026 by SamPetkov Owner • Draft
Kernel-check the exact Section 8 decorated endpoint reference weight
#41 opened Jul 25, 2026 by SamPetkov Owner • Draft
Audit the full Erdős 625 proof stack and isolate reusable results
#39 opened Jul 25, 2026 by SamPetkov Owner • Draft
Simplify Sections 8 and 9 to endpoint AM--GM, all deficits, and q-only residuals
#38 opened Jul 25, 2026 by SamPetkov Owner • Draft
Absorb Section 9 into a q-only intrinsic residual split
#37 opened Jul 25, 2026 by SamPetkov Owner • Draft
Kernel-check the Section 8 endpoint transport core
#36 opened Jul 25, 2026 by SamPetkov Owner Loading…
4
Integrate the direct Section 9 attachment and log-square envelope
#35 opened Jul 25, 2026 by SamPetkov Owner Loading…
1
Kernel-check the Section 9 matching-restriction product bound
#34 opened Jul 24, 2026 by SamPetkov Owner Loading…
1
Document the Erdős 625 review sequence and support frontier
#33 opened Jul 24, 2026 by SamPetkov Owner Loading…
2
Certify a stronger four-support entropy advantage
#32 opened Jul 24, 2026 by SamPetkov Owner Loading…
2
ProTip! Filter pull requests by the default branch with base:main.