resources on AI to assist mathematical reasoning

29 views

Skip to first unread message

Joao Marcos

unread,

Apr 20, 2024, 9:21:11 AM4/20/24

to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA

editable list of resources
https://docs.google.com/document/d/1kD7H4E28656ua8jOGZ934nbH2HcBLyxcRgFDduH5iQ0/edit

workshop
https://www.nationalacademies.org/event/06-12-2023/ai-to-assist-mathematical-reasoning-a-workshop

JM

Joao Marcos

unread,

Apr 20, 2024, 9:30:20 AM4/20/24

to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA

também de possível interesse para as mesmas pessoas interessadas nos
links anteriores:

$10mn AI Mathematical Olympiad Prize Launches
https://aimoprize.com/

"The AIMO Prize [..] will help compare different AI problem solving
strategies at a technical level, in a manner that will be accessible
and appealing to the broader public."
-- Terence Tao, UCLA