On Mon, Jan 15, 2024 at 10:45 PM Hill Strong <[email protected]> wrote: > > 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.
Well, we all know Doron Zeilberger's co-author: https://sites.math.rutgers.edu/~zeilberg/ekhad.html In this sense it's not new at all. More powerful, yes, but still... > > 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. > > -- > 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. -- 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/CAAWYfq36fDxKgk_wsx1g_Rx%3DaWWwv0uyKQHEpO5yBTbcEaNE9Q%40mail.gmail.com.
