--
You received this message because you are subscribed to the Google Groups "sympy" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sympy+un...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/sympy/CAHVvXxQ1ntG0EWBGihrXErLhGuABHH7Kt5RmGJvp9bHcqaC5%3DQ%40mail.gmail.com.
To view this discussion visit https://groups.google.com/d/msgid/sympy/CAKgW%3D6LO6iAs22%2BRuwR893ef-8b6WpiexqoBF4f%2ByyjDQGcF3A%40mail.gmail.com.
However, it requires Premium requests, so not everyone can use this feature.
--
You received this message because you are subscribed to the Google Groups "sympy" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sympy+un...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/sympy/CAHVvXxRzz9ucfNJqT81xw81aNtRkSjywztq0n%2BKVKZJKFkDomA%40mail.gmail.com.
What I do not understand is this: why would anybody want to push a PR which he does not understand?This seems to take out all the fun.
I don't think that these are AI bots. They are humans who are using AI
for everything including writing the code and writing comments and
things.
The reason for doing this is the google summer of code (GSOC)
programme. SymPy enters that programme every year and a few people
(usually students) will do projects where they get paid by Google to
work on something in SymPy. This is what they want on their CV.
SymPy's rules are that someone has to have a PR merged to be
considered for GSOC so every year at this time large numbers of people
turn up and start opening PRs, many of which are low quality.
--
You received this message because you are subscribed to the Google Groups "sympy" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sympy+un...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/sympy/5810a4bc-b237-4ee7-a707-cb29cddea2d2n%40googlegroups.com.
I like it. If some reviewer rejects an AI generated PR / issue he/she has a “policy reason” to point to.
B.t.w.: I did not once see that a submitter, whose PR was rejected on AI grounds, objected to this – apparently it was AI generated.
Peter
To view this discussion visit https://groups.google.com/d/msgid/sympy/CAP7f1AiQqbW5CL%3DOyk6h3jnBCjrN4oBbv_wW4kxHt-yy7U3zPg%40mail.gmail.com.
To view this discussion visit https://groups.google.com/d/msgid/sympy/061b01dc86bc%240d11db80%2427359280%24%40gmail.com.
I’d like to raise a process question regarding the application of the AI policy to reviewed pull requests.
A recent PR addressing a long-standing performance issue in degree() was closed with the label “AI slop,” despite the following:
The change was technically reviewed (by myself)
The correctness and performance improvements were verified
The author disclosed AI usage and stated that finding the source of the problem and design were manual
The PR appears to comply with current AI policy as written (or at least I don't see the violation)
I’m not arguing that the change must be merged. My concern is procedural: when a pull request has received substantive technical review and endorsement, it seems problematic for it to be summarily dismissed without a technical rationale. If there is no review and the code clearly doesn't address the problem in a meaningful way then I don't see a problem with closing it after a couple of days.
As the AI policy currently stands, it permits AI-assisted contributions provided the author understands and takes responsibility for the code. And having reviewed the code, I can't see why labelling it as “AI slop” is a sufficient basis for closure in the absence of technical objections.
I’d like to ask whether we should clarify policy or process here, for example by distinguishing between unreviewed submissions and those that have received substantive technical review. At minimum, it would be helpful to document whether reviewed PRs are expected to receive a technical disposition, even when AI assistance is involved.
I’m happy to help draft a clarification if that would be useful.
/c
--
You received this message because you are subscribed to the Google Groups "sympy" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sympy+un...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/sympy/CAHVvXxTi4x5ZBAeUmWhLZsU%2B_ffYFCL7Y87HnKhRAjMd0XL3sQ%40mail.gmail.com.
To view this discussion visit https://groups.google.com/d/msgid/sympy/CAHVvXxRx49c8U07sH6-2foEWA04LdrSjT82nCmX0M8pkXLuCKg%40mail.gmail.com.
--
You received this message because you are subscribed to the Google Groups "sympy" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sympy+un...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/sympy/e5ae466e-1cf1-40db-bfdc-5a8ba525ae5bn%40googlegroups.com.
Would a ‚time based closure’ not be close to no 2, weakened to something like likely not to be merged?
If a PR was really excellent, would it not be looked at by somebody in good time?
Oscar made an additional point about GSoC
I am convinced that the flood of low level (Oscar’s judgement. I do not have the skills to judge them) PRs is due to the fact that the submitters want to participate in GSoC.
I cannot judge the pros of sympy being “in” GSoC vs. the drawback of the flood of PRs, but surely the experts must have opinions based on their experience on this question.
Peter
From: sy...@googlegroups.com <sy...@googlegroups.com> On Behalf Of Jason Moore
Sent: Sunday, February 1, 2026 7:53 AM
To: sy...@googlegroups.com
Subject: Re: [sympy] AI generated pull requests
In the past we've used the "closed" designation on a PR to mean: 1) this is merged into master and 2) this will definitely not be merged into master. If we close PRs based on inactivity time, then we have PRs labeled "closed" which are neither 1 or 2, they still have the state "could be or might be merged to master or might be rejected" but now we've labeled them with "closed" which would seemingly imply 1 or 2. So it seems to me if you close based on inactivity time, then the meaning of "open" or "closed" PR no longer has distinct meanings.
Jason
To view this discussion visit https://groups.google.com/d/msgid/sympy/CAP7f1AhcGTF_wTD96CyUFk3uPRpE3d_kxWm3-sW_5dLe20AXVg%40mail.gmail.com.
To view this discussion visit https://groups.google.com/d/msgid/sympy/050001dc934c%24551688d0%24ff439a70%24%40gmail.com.
To view this discussion visit https://groups.google.com/d/msgid/sympy/6ff6b01d-c1c6-4287-898c-1b8979eb98f5n%40googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/sympy/CAP7f1Ai%2BL%2BksWOf47E%2Bpt3cBpmkxkQnAh4RQEyCQgazgprAd6w%40mail.gmail.com.
--
You received this message because you are subscribed to the Google Groups "sympy" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sympy+un...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/sympy/CAHVvXxSphOcZ%2BDYen_Z27FtUwcSVmO9iR2S55B%3D%2BYL%2BjNmX_Lg%40mail.gmail.com.
--
You received this message because you are subscribed to the Google Groups "sympy" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sympy+un...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/sympy/CAHVvXxSoBT4%3DKS3AuGMpcx%2BLtVBMNTGZqR8%2BLvJDAYaNNJ85QQ%40mail.gmail.com.
On the other hand if we have a 1 month reminder and then nothing
happens in the next month then chances are high that the maintainers
don't want it or the contributor is not willing or able to complete
it. At that point leaving it open is usually just misleading. No one
is likely coming back to it and if they do come back to it then it can
be reopened to signal that change in status.
--
Oscar