Showing posts with label ChatGPT3. Show all posts
Showing posts with label ChatGPT3. Show all posts

Monday, March 20, 2023

Writing a Proof in Verse -- with ChatGPT3

     Academician Punya Mishra (from Arizona State) is active in integrating various topics and learning patterns.  Back in 2020, at this link I featured his poem, "The Mathematical i"  -- and Mishra has recently shared with me some of his explorations with poetry created by artificial intelligence.

     Back in 2010, Mishra wrote a fascinating poem (The Infinity of Primes")  -- a poem that is also a proof -- which begins with these stanzas:

     Over numbers and their combinations if you sit and mull
     You will find that not one of them is uninteresting and dull.
     But it is a certain class of figures that most attention stirs
     Yes, I am speaking of those special ones, the prime numbers.

     Prime numbers are interesting, the mathematician posits,
     ‘Cos they make up all the others, the so-called composites.
     Here’s an imperfect analogy, a simple little working rule,
     Consider the prime to be an atom, then a composite’s a molecule. 

                        . . .               Mishra's complete 17-stanza poem is available here.

Mishra recently explored the the ability of ChatGPT3 to create a proof of the infinity of the set of primes;  The stanzas below offer a start of a proof-attempt; its completion and two other attempts are available at this link.