No artificial stupidity (AI) will ever or should ever be considered as [a trustworthy co-author in mathematical research]. At best, these systems could be a possibly useful tool in the hands of those who know their subject field. In the hands of everyone else they will be like young children using power tools - a dangerous proposition at best and an utter disaster at worse.
There is far too much unthinking hype about the subject even by the researchers in the field. On Tue, 16 Jan 2024, 12:10 am Tim Daly, <[email protected]> wrote: > "When integrated with tools such as formal proof verifiers, > internet search, and symbolic math packages, I expect, say, > 2026-level AI, when used properly, will be a trustworthy > co-author in mathematical research, and in many other fields > as well" -- Terrance Tao > https://youtu.be/3pb_-oLfWJ4?t=358 > > I might add that it would be important that the computer algebra > algorithms be proven correct. > > -- > 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 on the web visit > https://groups.google.com/d/msgid/fricas-devel/11e29cc8-7c91-4ad2-a56b-d380db9a33e3n%40googlegroups.com > <https://groups.google.com/d/msgid/fricas-devel/11e29cc8-7c91-4ad2-a56b-d380db9a33e3n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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 on the web visit https://groups.google.com/d/msgid/fricas-devel/CAEnaMTGr_Vk3qa-7X%3DVcPpmwuhEdcKySsngh1UaTmsTRgX9Lwg%40mail.gmail.com.
