Login
From:
Xena
(Uncensored)
subscribe
Formal or not formal? That is the question in AI for theorem proving. | Xena
https://xenaproject.wordpress.com/2025/10/22/formal-or-not-formal-that-is-the-question-in-ai-for-theorem-proving/
links
backlinks
Tagged with:
formalmethods
vibecoding
So it’s an interesting time for computers-doing-mathematics. A couple of interesting things happened in the last few days, which have inspired me to write about the question more broadly. Fir…
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!
