bluesky — 22 Oct 2025
xenaproject.wordpress.com/2025/10/22/f...
#ai-mathematics #combinatorics #automated-reasoning
xenaproject.wordpress.com/2025/10/22/f...
A chat around what's been happening in the world of AI and Erdos problems, and what it highlights.