- From: Stephen Watt <smwatt@gmail.com>
- Date: Fri, 30 Jun 2023 12:39:52 -0400
- To: Deyan Ginev <deyan.ginev@gmail.com>
- Cc: Neil Soiffer <soiffer@alum.mit.edu>, "www-math W3C (www-math@w3.org)" <www-math@w3.org>
- Message-ID: <CALozgsifWyAGgZVtF8yzCAd-o6juYxP7g84yH7asMrxxg2=YPA@mail.gmail.com>
Very impressive, Deyan. On Fri, Jun 30, 2023, 00:44 Deyan Ginev <deyan.ginev@gmail.com> wrote: > Hello Neil, everyone, > > Thanks for fixing the spreadsheet. > > That 2020 list feels outdated in multiple ways nowadays (even though the > content should still be useful with some curation). > It's a whole new world out there. I recently jumped into the GPT-4 chat > interface, and - well - you can just ask the large language model to > bootstrap a list of this nature. That list will need secondary curation and > trimming down (e.g. what belongs in Core? what should be a property instead > of intent?), but so did my original spreadsheet. > > Here's a list of names with LaTeX notations (generated near instantly) in > a 10 minute chat session. It's nice that OpenAI now gives shareable links > to the sessions. > > It was much faster, and a lot less painful, to generate a few hundred > concept names by prompting the model, than it was to spend a few weeks > pouring over encyclopedia pages: > https://chat.openai.com/share/aa8d65c6-ac72-405d-a789-e1d2b784292e > > And it can easily provide more concepts, and be guided to the domains it > missed... probably thousands more. > > Greetings, > Deyan > > On Thu, Jun 29, 2023 at 2:13 PM Neil Soiffer <soiffer@alum.mit.edu> wrote: > >> On the call, I tried to show the list of intent names that Deyan came up >> <https://docs.google.com/spreadsheets/d/1EsWou1K5nxBdLPvQapdoA9h-s8lg_qjn8fJH64g9izQ/edit#gid=1358098730> >> with but it was clearly not correct. I think I must have sorted the first >> column by mistake and it was messed up. I have reverted to the previous >> version so the list is back to correct. >> >>
Received on Friday, 30 June 2023 16:40:10 UTC