--
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
--
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/0bfd6b45-848d-47e9-a88b-8093a937ac8en%40googlegroups.com.
Dear all,Thanks for all the input. The AI policy is now live:JasonOn Fri, Jan 16, 2026 at 8:45 AM <peter.st...@gmail.com> wrote: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
From: sy...@googlegroups.com <sy...@googlegroups.com> On Behalf Of Jason Moore
Sent: Friday, January 16, 2026 8:22 AM
To: sy...@googlegroups.com
Subject: Re: [sympy] AI generated pull requests
Dear all,
We now have a second draft of the AI policy:
based on a round of feedback. Please review the 2nd draft and leave any more feedback.
I would like to have it merged after this coming round of feedback. Please have a look.
Thanks,
Jason
On Wed, Jan 14, 2026 at 1:46 PM Jason Moore <moore...@gmail.com> wrote:
Dear all,
I opened this PR with a draft of a SymPy AI code contribution policy:
I suggest that people review and I will improve the text based on the feedback there until we have some consensus.
This will not solve all issues associated with the onslaught of AI slop, but can at least get some kind of policy codified that we can use to help fend off the slop.
Jason
On Thu, Jan 1, 2026 at 2:29 PM Sangyub Lee <syle...@gmail.com> wrote:
> Let's do a simple test. Instead of commenting these PRs by typing text in, let's just attach an image containing the comment. This is no problem for human beings, but I expect AI-bots to fail in understanding the comment, unless they are connected with an OCR or use vision-language models.
I don't think that it is difficult problem to solve than using Captcha for submitting a PR. That does not 100% solve the problem but at least raises barrier to professional spammers and scammers who can bypass that.
Many social media services should have endured much more chaos than SymPy or Github for this stuff, so we can use their experiences. There are always more stricter options like policies allowing stricter face/ID verified accounts.
Github may not have submitting captcha before PR, but we can implement something like CI check with 3rd party captcha service for new contributors.On Wednesday, December 31, 2025 at 12:31:10 AM UTC+1 Oscar wrote:
This one here looks like a real AI bot:
https://github.com/sympy/sympy/pull/28862
--
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.
--
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/CAP7f1AiQqbW5CL%3DOyk6h3jnBCjrN4oBbv_wW4kxHt-yy7U3zPg%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/061b01dc86bc%240d11db80%2427359280%24%40gmail.com.
To view this discussion visit https://groups.google.com/d/msgid/sympy/CAP7f1AjOnypePFemT_2N8a%2BvTKra_Xg8AHOGSqoiS%3DhFK%3Dm7kg%40mail.gmail.com.