3 ms·
There are models that perform math and logic exceptionally well https://ai.facebook.com/blog/ai-math-theorem-proving/ https://ai.facebook.com/blog/ai-math-theo
by mountainriver 4y ago
There are models that perform math and logic exceptionally well
https://ai.facebook.com/blog/ai-math-theorem-proving/ https://ai.facebook.com/blog/ai-math-theorem-proving/
https://www.infoq.com/news/2022/09/mit-math-solving-ai/ https://www.infoq.com/news/2022/09/mit-math-solving-ai/
- hresvelgr 4y agoThat does look quite interesting but these are still single purpose networks.