•1 min read•from Machine Learning
A Severe Misalignment of AI in Mathematics (Declaration by 25 Fields Medalists) [D]
![A Severe Misalignment of AI in Mathematics (Declaration by 25 Fields Medalists) [D]](/_next/image?url=https%3A%2F%2Fexternal-preview.redd.it%2FTRxGjMbYO2AuVu-cywROfnAHgjBxQMqGxI_OfPkExOo.jpeg%3Fwidth%3D108%26crop%3Dsmart%26auto%3Dwebp%26s%3Db3bc0bd7bd6dc4ffe652d45674ba7965e4d2faf0&w=3840&q=75)
![A Severe Misalignment of AI in Mathematics (Declaration by 25 Fields Medalists) [D]](https://external-preview.redd.it/TRxGjMbYO2AuVu-cywROfnAHgjBxQMqGxI_OfPkExOo.jpeg?width=108&crop=smart&auto=webp&s=b3bc0bd7bd6dc4ffe652d45674ba7965e4d2faf0 "A Severe Misalignment of AI in Mathematics (Declaration by 25 Fields Medalists) [D]") | Note: this declaration was drafted by Mathematicians, and is mostly addressed to the mathematical community. It'd be interesting to discuss, among others, if what is written in the declaration may also apply to other communities. [link] [comments] |
Want to read more?
Check out the full article on the original site
Tagged with
#Mathematics
#AI
#Misalignment
#Fields Medalists
#Mathematical Community
#Declaration
#Machine Learning
#Artificial Intelligence
#Terry Tao
#Drafted
#Discussion
#Formal Verification
#Automated Reasoning
#Proof Theory
#Algorithm
#Formalism
#Computational Mathematics
#Verification