Khanmigo is a new (2023-03-14) Khan Academy tutoring AI: https://blog.khanacademy.org/harnessing-ai-so-that-all-students-benefit-a-nonprofit-approach-for-equal-access/ :
""" Participants in our limited pilot can use Khanmigo to: - Get help with math - Write a story together through back-and-forth idea generation (but Khanmigo won’t write the story for them!) - Prep for AP exams - Practice new vocabulary words - Learn computer programming Interview a historical figure like Cleopatra or Jane Austen - Debate a topic like “Should schools ban AI?” Khanmigo does not, however, give students answers. Nobody learns anything by being given the answer. Instead, Khanmigo asks questions. Questions are thought-provoking. Questions are open-ended. And most importantly, questions lead to learning """ What is the Socratic method? https://en.wikipedia.org/wiki/Socratic_method Why are LLMs picking random positive integers 42 and 7 most frequently? On Fri, Mar 24, 2023, 12:20 AM Jurgis Pralgauskis < jurgis.pralgaus...@gmail.com> wrote: > I suspect some nice things are comming - see examples of "Socratic tutor" > :) > > https://openai.com/research/gpt-4 > > 2023-01-06, pn 19:03, Wes Turner <wes.tur...@gmail.com> rašė: > >> >> >> On Wed, Jan 4, 2023 at 4:34 PM Wes Turner <wes.tur...@gmail.com> wrote: >> >>> What are the expected limitations of [ChatGPT]? >>> >>> What is "Prompt Engineering"? >>> [Prompt engineering - Wikipedia]( >>> https://en.wikipedia.org/wiki/Prompt_engineering ) >>> >>> What lessons about technology reliance could you teach, in regards to >>> Clippy? >>> >>> - "What is ChatGPT? Wrong answers only" >>> - Human_n: EDGES WITH REASONING >>> >>> - "Tell me IDK ("I don't know") when you don't know" >>> >> >> - What are "Truthiness", Confidence Intervals and Error Propagation? >> - What is Convergence? >> - What does it mean for algorithmic outputs to converge given additional >> parametric noise? >> >> >>> >>> - "How certain are you that that is the correct answer?" >>> >> >> - How does [ChatGPT] handle known-to-be or presumed-to-be unsolved math >> and physics problems? >> >> - "How do we create room-temperature superconductivity?" >> >> - "How will planetary orbital trajectories change in the n-body gravity >> problem if another dense probably interstellar mass passes through our >> local system?" >> >> >>> >>> - "Are static analysis code metrics sufficient for Safety Critical code?" >>> >> >> - Where in the DevOpSec software development lifecycle should human code >> review for security best practices and common vulnerabilities and >> weaknesses? >> - Is the [ChatGPT] model trained from *only* Formally Verified code >> with associated tests? >> - Branch and line coverage metrics indicate which tests run which >> lines of which functions. Code coverage typically implies dynamic analysis? >> >> >>> >>> - "Whose code is this based on?" >>> >>> - "Where and when did you learn this?" >>> >> >> - Explainability (XAI) >> - How can models "Unlearn" or "Learn over" given a sufficient >> meta-analytic procedure given the information available at that point in >> spacetime? >> >> >> >>> - "Why would a US President abstain from using ChatGPT or similar to >>> fill speeches 'just like what I said before'?" >>> >>> #Burgundy >>> >> >> - How can we use [ChatGPT] and other Prompt Engineering approaches to >> perform Evidence-Based Policy with supporting computational analyses >> prepared in form for meta-analysis given verification of data quality and >> experimental controls? >> >> >>> >>> GPT or similar trained on only Formally-Verified code with associated >>> tests >>> and/or e.g. Lean Mathlib, or e.g. the Principia in SymPy & Cirq; that >>> could probably eliminate my job, but maybe still not teaching >>> >> >> - "Q: ChatGPT etc. trained on mathlib and tests" >> https://github.com/leanprover-community/mathlib/issues/17919 >> >> - "Port the QuantumQ game to Cirq (SymPy (Python))?" >> - https://quantumai.google/cirq/start/start >> - >> https://colab.research.google.com/drive/11WGNX8TKOmjpmvJWO7v19gXKoEwIwxyw?usp=sharing >> >> - "How does [ChatGPT] compare to Critical Thinking, Reasoning, Logic, and >> Rationality? >> https://en.wikipedia.org/wiki/Critical_thinking#Logic_and_rationality >> >> >> >>> On Wed, Jan 4, 2023, 6:28 AM Christian Mascher <christian.masc...@gmx.de> >>> wrote: >>> >>>> Hi, >>>> >>>> a student of mine was aware of this chatbot and asked it about a >>>> class-assignment of his own accord. We program in Java with some extra >>>> homemade library class used by some schools in our region. >>>> >>>> The bot came up with a "solution" which was flawed in several respects: >>>> 1. It used some other (unimported) classes - solution doesn't work and >>>> doesn't fit the assignment. >>>> 2. It put all the code into the constructor, a typical (design and >>>> style) error for students beginning with Java. >>>> >>>> When confronted with the problem number one above, it acknowledged the >>>> fault and produced a different unrelated solution. >>>> >>>> Sooo.... >>>> >>>> I was impressed how well the chatbot simulated a typical clueless human >>>> who even thinks he is smart, while his code is basically bullshit. >>>> (Probably a result of googling forums, where other learners posted their >>>> solutions to assignments with the given school library classes.) The bot >>>> clearly passed the Turing test ;-) >>>> >>>> But... >>>> >>>> I don't think the interaction was helpful for somebody who is learning >>>> to program. It is probably less helpful than conversing with other also >>>> not very knowledgeable students as they are at least reasoning humans. >>>> >>>> Talking to the bot might be fun to do in the last lesson before >>>> christmas or so. Entertaining until you realise the software is >>>> "simulating" intelligent conversation - not really talking with insight. >>>> And that could turn out to be a waste of time. >>>> >>>> Happy new year >>>> >>>> Christian >>>> >>>> Am 03.01.2023 um 04:06 schrieb Jurgis Pralgauskis: >>>> > Hi, happy NY! >>>> > >>>> > ChatGPT can create, fix and explain code >>>> > https://openai.com/blog/chatgpt/#samples >>>> > <https://openai.com/blog/chatgpt/#samples> >>>> > >>>> > Anyone tried to incorporate it into teaching process? >>>> > Or have ideas/doubts how it ciuld help? >>>> > >>>> > _______________________________________________ >>>> > Edu-sig mailing list -- edu-sig@python.org >>>> > To unsubscribe send an email to edu-sig-le...@python.org >>>> > https://mail.python.org/mailman3/lists/edu-sig.python.org/ >>>> > Member address: christian.masc...@gmx.de >>>> _______________________________________________ >>>> Edu-sig mailing list -- edu-sig@python.org >>>> To unsubscribe send an email to edu-sig-le...@python.org >>>> https://mail.python.org/mailman3/lists/edu-sig.python.org/ >>>> Member address: wes.tur...@gmail.com >>>> >>>
_______________________________________________ Edu-sig mailing list -- edu-sig@python.org To unsubscribe send an email to edu-sig-le...@python.org https://mail.python.org/mailman3/lists/edu-sig.python.org/ Member address: arch...@mail-archive.com
