Leiden Declaration on Artificial Intelligence and Mathematics

6 views
Skip to first unread message

Tim Daly

unread,
Jun 4, 2026, 4:35:08 PM (17 hours ago) Jun 4
to fricas...@googlegroups.com, Jeremy Avigad
LeidenDeclarationOnArtificialIntelligenceAndMathematics.book.pdf

Hill Strong

unread,
Jun 4, 2026, 9:42:41 PM (11 hours ago) Jun 4
to fricas...@googlegroups.com
Good morning Tim,

Thank you for providing a copy of this document. Much as it highlights various problems that need to be considered and addressed, it doesn't appear to highlight that the word [intelligence] should never be used with any such system.

All such systems are programmed stupidity systems and in reality should be compared to cheap poorly built tools that aren't safe to use in any safety oriented situation.

The simple fact that so many people are enthusiastic about these systems without understanding the basic limitations means that society is heading for another damaging technological foul-up.

It is up to us to try and mitigate the effects that this enthusiasm is building.

Hill

On Fri, 5 Jun 2026, 6:35 am Tim Daly, <axio...@gmail.com> wrote:

--
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 fricas-devel...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/fricas-devel/CAJn5L%3DKjyufi6S9HgxQKW1khFephmOWoy0dXTgFB8BDf9quDdw%40mail.gmail.com.
Reply all
Reply to author
Forward
0 new messages