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
