Hello Tim, > I had advocated developing an MCP (Model Context Protocol) server > to give LLMs access to the computer algebra system, part of the goal > of making the algebra available to other systems. However I think the > time has passed when this is useful. The LLMs already "know" most > of the answers to computer algebra questions. Whether the answer is > correct or not is questionable at the moment but I think that will change. > > It would be an interesting study to discover how much computer algebra > system output is already "known" to an LLM. The LLM output requires > careful prompt construction (known as "skills"). I suspect the likely path > going forward will be constructing "skills" that give the same or better > output than the current computer algebra systems. It has the added > feature of being able to explain the result (aka machine-to-human) in > any desired amount of detail.
MCP is just a JSON protocol. A "server" is just for me a simpler way for LLMs or human interactions. It just defines something that was defined for AI relations at first. Having something that helps AI having good insight without spending too a lot of tokens is for me a "must have". Of course AI has almost of the Internet and can be very good. But, the main point for me, and this happens now (very previsibe), is to make money. And one of the point of human in term of psychology/commercial things is to give you envy of the product. Facebook has used a very simple thing, behavioral conditioning, AI tries for me to first let "you can not do without". But their next step is you have to pay a lot (the cost of AI is pharamenous). Skills is I think is very important too, I have to better work on it, but having a MCP for a particular system is to ameliorate this system, and accessorily the AI related. Greg -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/fricas-devel/CAHnU2dYRo%3Dddg3cvuf7W84gaEXL6TttJivWwsuE_qp7Ycy1a5g%40mail.gmail.com.
