Agreed, not new at all. The Forbin Project On Tue, 16 Jan 2024, 10:59 am Dima Pasechnik, <[email protected]> wrote:
> 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 > . > -- 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/CAEnaMTFKXm22SpCWEyaOkbrnEmyxG4k09zddnoGnp73jMgYPbg%40mail.gmail.com.
