Re: Re: [sage-devel] ChatGPT is an expert in SageMath too

Hey All! Please let me know I am included within the accepted organization or not? According to Karachi, Pakistan timezone last night was my GSoC'23 result. Please guide me through the procedure how to check my GSoC'23 result. Name :- Sumaiya Qureshi (Karachi, Pakistan) I opted for

Re: Re: [sage-devel] ChatGPT is an expert in SageMath too

“Le droit du pauvre est un mot creux” (“Rights of the poor” is a hollow phrase) Eugène Pottier, *L’internationale* (1871). I am somewhat skeptic about the odds of any legal action suceeding against a porential multi-billion $ buisness

Re: Re: [sage-devel] ChatGPT is an expert in SageMath too

On Fri, 2023-04-21 at 08:22 +0100, Dima Pasechnik wrote: > > > > > > Sadly it's not. The American legal system isn't built for this. The > > fact that they're clearly doing something illegal and that it's hurting > > people isn't grounds for a third-party lawsuit. The victims can file > > suits,

Re: Re: [sage-devel] ChatGPT is an expert in SageMath too

I assume in the short term, one of the most interesting application of (Chat)GPT for sage might be the "Copilot for docs" project from github: https://githubnext.com/projects/copilot-for-docs/ They train the model on the official docs (/ source code?) and thus are able to provide better

Re: Re: [sage-devel] ChatGPT is an expert in SageMath too

On Fri, 21 Apr 2023 at 20:36, William Stein wrote: > > There's is a discussion right now on HN about LLM's trained on code > > https://news.ycombinator.com/item?id=35657982 > > One of the comments https://news.ycombinator.com/item?id=35658118 > points out that most of the non-GPL super permissive

Re: Re: [sage-devel] ChatGPT is an expert in SageMath too

Hi, There's is a discussion right now on HN about LLM's trained on code https://news.ycombinator.com/item?id=35657982 One of the comments https://news.ycombinator.com/item?id=35658118 points out that most of the non-GPL super permissive licenses require explicit attribution when creating

Re: Re: [sage-devel] ChatGPT is an expert in SageMath too

I know I am minority, but I recommend not to use github (owned by m$). IMHO m$ are evil and technically incompetent. They buy stuff and later spoil it. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop

Re: Re: [sage-devel] ChatGPT is an expert in SageMath too

On Thu, 20 Apr 2023, 22:35 Michael Orlitzky, wrote: > On Thu, 2023-04-20 at 20:37 +0100, Dima Pasechnik wrote: > > > > > > > https://www.theverge.com/2023/1/28/23575919/microsoft-openai-github-dismiss-copilot-ai-copyright-lawsuit > > > > > > A cursory reading of this wish to dismiss the case

Re: Re: [sage-devel] ChatGPT is an expert in SageMath too

On Thu, 2023-04-20 at 20:37 +0100, Dima Pasechnik wrote: > > > > https://www.theverge.com/2023/1/28/23575919/microsoft-openai-github-dismiss-copilot-ai-copyright-lawsuit > > > A cursory reading of this wish to dismiss the case sounds to me as the > usual M$ chutzpah. > Of course they want it

Re: [sage-devel] ChatGPT is an expert in SageMath too

Hi, I don't know whether or not ChatGPT is trained on the source code of SageMath, but one of the biggest publicly available training sets of code is described here: https://arxiv.org/abs/2211.15533 In that training set, they explicitly remove any GPL'd code (e.g., SageMath): "Permissive license

Re: [sage-devel] ChatGPT is an expert in SageMath too

... The syntactical correction Curve(x^3+y^3-x-y+1,P) still doesn't work because we have an affine equation and are specifying an unrelated projective space. That is the most serious defect in the answer. I missed that. I think the conclusion should be that ChatGPT pretends to be a SageMath

Re: [sage-devel] ChatGPT is an expert in SageMath too

which doesn't work because C.degree() isn't implemented. It would probably be a reasonable thing to implement though (e.g., magma has https://magma.maths.usyd.edu.au/magma/handbook/text/1411#15877) This sage: C.projective_closure().degree() 3 does work. -- You received this message

Re: [sage-devel] ChatGPT is an expert in SageMath too

On Friday, 24 March 2023 at 14:14:33 UTC-7 William Stein wrote: [...] which doesn't work because C.degree() isn't implemented. It would probably be a reasonable thing to implement though (e.g., magma has https://magma.maths.usyd.edu.au/magma/handbook/text/1411#15877) William For schemes in

Re: [sage-devel] ChatGPT is an expert in SageMath too

On Friday, 24 March 2023 at 13:04:48 UTC-7 William Stein wrote: The code it suggests next doesn't work, but to me that seems like a bug in Sage (?). Omitting the P entirely does work. -- William -- Not a bug in sage, but a more insidious error in the example ChatGPT originally created.

Re: [sage-devel] ChatGPT is an expert in SageMath too

I can't reproduce the AI script. First, 'y' is not defined. Second, sage doesn't like this constructor of Curve ... Ah, I missed that. So its answer is less than perfect. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from

Re: [sage-devel] ChatGPT is an expert in SageMath too

Can this specific example be found in the online documentation? I also guess that the example is from our documentation. I didn't try to spot the source. did you try asking whether it's geometric genus, or not? No. We understand what it did. It didn't "think" that there are two kinds of

Re: [sage-devel] ChatGPT is an expert in SageMath too

I can't reproduce the AI script. First, 'y' is not defined. Second, sage doesn't like this constructor of Curve with error: TypeError: ambient space must be either an affine or projective space -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To

Re: [sage-devel] ChatGPT is an expert in SageMath too

Can this specific example be found in the online documentation? On Thu, 23 Mar 2023 at 11:02, Dima Pasechnik wrote: > On Thu, Mar 23, 2023 at 10:03 AM Kwankyu Lee wrote: > > > > I asked "in sagemath, how can i compute the genus of a curve", and this > is its reply: > > > > which is perfect.

Re: [sage-devel] ChatGPT is an expert in SageMath too

On Thu, Mar 23, 2023 at 10:03 AM Kwankyu Lee wrote: > > I asked "in sagemath, how can i compute the genus of a curve", and this is > its reply: > > which is perfect. Impressive! did you try asking whether it's geometric genus, or not? > > -- > You received this message because you are