[sage-devel] Consultation for adding functions related to elliptic genera

2023-03-26 Thread kenta kobayashi
Hi everyone, I am a newcomer to SageMath and have written some functions that I would like to contribute to Sage. Specifically, I have developed functions to: 1. Compute the bases of Weak Jacobi forms for both integral weights and half-integral indices. 2. Compute the coefficients of elliptic ge

[sage-devel] OT: google's chatbot Bard is at https://bard.google.com/

2023-03-26 Thread Georgi Guninski
Google's chatbot Bard is at https://bard.google.com/ Bard isn't available in my country. I heard that the main difference between ChatGPT and Bard is that ChatGPT is offline during the chat. Asking Bard about the genus of a curve would be an interesting comparison. -- You received this message

Re: [sage-devel] OT: google's chatbot Bard is at https://bard.google.com/

2023-03-26 Thread Dr. David Kirkby
On Sun, 26 Mar 2023 at 17:26, Georgi Guninski wrote: > Google's chatbot Bard is at https://bard.google.com/ > > Bard isn't available in my country. You can always spoof where you are with the Tor Onion browser -- Dr. David Kirkby, Kirkby Microwave Ltd, drkir...@kirkbymicrowave.co.uk https://

Re: [sage-devel] OT: google's chatbot Bard is at https://bard.google.com/

2023-03-26 Thread Dima Pasechnik
On Sun, Mar 26, 2023 at 5:32 PM Dr. David Kirkby wrote: > > > On Sun, 26 Mar 2023 at 17:26, Georgi Guninski wrote: >> >> Google's chatbot Bard is at https://bard.google.com/ >> >> Bard isn't available in my country. > > > You can always spoof where you are with the Tor Onion browser I just tried

[sage-devel] Re: Consultation for adding functions related to elliptic genera

2023-03-26 Thread Nils Bruin
On Sunday, 26 March 2023 at 05:54:09 UTC-7 kenta kobayashi wrote: Question 1: Would it be appropriate to push these functions as a ‘Geometry and Topology’ library in Sage? Nowadays, for brand new code that isn't obviously extending or improving already existing capabilities in sage, it's pro

Re: [sage-devel] OT: google's chatbot Bard is at https://bard.google.com/

2023-03-26 Thread Georgi Guninski
I have 2 questions for the AIs: 1: In sagemath how do I check if `2^(2^50)` is integer? > RuntimeError: Aborted 2: Is `pi^(pi^(pi^(pi^(pi^42` integer? > I believe rigorous proof doesn't exist yet -- You received this message because you are subscribed to the Google Groups "sage-devel" group

Re: [sage-devel] OT: google's chatbot Bard is at https://bard.google.com/

2023-03-26 Thread Oscar Benjamin
On Sun, 26 Mar 2023 at 19:07, William Stein wrote: > > Ok, that "proof" from GPT-4 is pretty absurd nonsense to put it mildly. I > wonder if there will be a new surge in crank math papers this year. Apparently the way that the chat GPT models are trained is that the source data comes from havi

[sage-devel] Re: Consultation for adding functions related to elliptic genera

2023-03-26 Thread kenta kobayashi
Thank you very much Mr.Bruin for your helpful advice. I will follow your suggestion and try to start with a stand-alone repository. Thank you once again. Kenta Kobayashi 2023年3月27日月曜日 1:53:58 UTC+9 Nils Bruin: > On Sunday, 26 March 2023 at 05:54:09 UTC-7 kenta kobayashi wrote: > > Questio

Re: [sage-devel] OT: google's chatbot Bard is at https://bard.google.com/

2023-03-26 Thread Kwankyu Lee
... the goal is not to be "correct" but just to try to satisfy the human users. A nice insight into what ChatGPT does. AI is human in that respect. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop rec