Skip to content

Pull requests: tempcollab/proval

New pull request New
13 Open 14 Closed
13 Open 14 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

Solve IMO 2026 P2: complete rigorous proof that OM=ON (complex-number bash, verified)
#27 opened Jul 16, 2026 by tempcollab Owner Loading…
IMO 2026 P2 (geometry, OM=ON) — rigorous proof (antipode reduction + signed direction-lemma certificate + orientation-reversal symmetry) + LaTeX and commentary deliverables. Branch: glm5.2-imo2026-03
#26 opened Jul 15, 2026 by tmoon Collaborator Loading…
Solve imo-2026-01 (IMO 2026 P1): complete rigorous proof of parts (a) and (b)
#25 opened Jul 15, 2026 by tempcollab Owner Loading…
Solve IMO 2026 Problem 3: c(n)=2^n/(2^{n+1}−1) — c(1)=2/3 & c(2)=4/7 fully proved (both bounds), c(3)≥8/15 lower bound proved (reproducible script); general-n conjecture stated with open gaps flagged (partial). Branch: glm5.2-imo2026-03.
#24 opened Jul 15, 2026 by tmoon Collaborator Loading…
Solve IMO 2026 Problem 2 (OM=ON circumcenter geometry) with rigorous proof + LaTeX + solution writeup
#23 opened Jul 15, 2026 by tmoon Collaborator Loading…
Solve IMO 2026 P1: Confucius gcd/lcm blackboard problem
#22 opened Jul 15, 2026 by tmoon Collaborator Loading…
Solve IMO 2026 P2: Prove OM=ON via resultant elimination
#20 opened Jul 15, 2026 by tempcollab Owner Loading…
Solve IMO 2026 Problem 2 with a certified coordinate proof
#19 opened Jul 15, 2026 by tempcollab Owner Loading…
Solve IMO 2026 P1: gcd/lcm blackboard game termination and uniqueness
#18 opened Jul 15, 2026 by tempcollab Owner Loading…
Solve IMO 2026 P3 (Chu-Han stick game): c(n) = 2^n/(2^{n+1}−1), two independently verified complete proofs
#17 opened Jul 15, 2026 by tempcollab Owner Loading…
Solve IMO 2026 P2 (imo-2026-02): complete proof that OM=ON via explicit circumcenter fixed point + ideal certificate
#16 opened Jul 15, 2026 by tempcollab Owner Loading…
Solve IMO 2026 P3 with a rigorous minimax proof
#15 opened Jul 15, 2026 by tempcollab Owner Loading…
Solve IMO 2026 P1 (gcd/lcm blackboard): full proofs of (a) termination with exactly one M>1 and (b) M = ∏_p p^{gcd of p-adic exponents}, two independently certified approaches
#14 opened Jul 15, 2026 by tempcollab Owner Loading…
ProTip! What’s not been updated in a month: updated:<2026-06-15.