Will machines change mathematics?
21 views
Skip to first unread message
Joao Marcos
Apr 1, 2024, 7:41:20 AM4/1/24
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
volumes especiais do Bulletin of the American Mathematical Society
"Will machines change mathematics?"
https://www.ams.org/journals/bull/0000-000-00/S0273-0979-2024-01836-9/
tópicos cobertos no primeiro volume, publicado este mês:
- AI and formalization as a tool for traditional mathematics
- Can current AI do serious mathematics, itself?
- What do working mathematicians think about AI?
tópicos que serão cobertos no próximo volume:
- Automation and philosophy
- Technology alters thought
- The interaction of deep learning and mathematics
JM
"Will machines change mathematics?"
https://www.ams.org/journals/bull/0000-000-00/S0273-0979-2024-01836-9/
tópicos cobertos no primeiro volume, publicado este mês:
- AI and formalization as a tool for traditional mathematics
- Can current AI do serious mathematics, itself?
- What do working mathematicians think about AI?
tópicos que serão cobertos no próximo volume:
- Automation and philosophy
- Technology alters thought
- The interaction of deep learning and mathematics
JM
Reply all
Reply to author
Forward
0 new messages