Formalization of Erdős Problems(xenaproject.wordpress.com)
xenaproject.wordpress.com
Formalization of Erdős Problems
https://xenaproject.wordpress.com/2025/12/05/formalization-of-erdos-problems/
1 comments
A discussion by Boris Alexeev on recent events in AI + mathematics