Live data from Hacker News

Formalization of Erdős Problems

xenaproject.wordpress.com

Post reply on HN

Print view View original

1–2 of 2 posts

Formalization of Erdős Problems

#1

Post by kevinbuzzard » Fri, Dec 05, 2025, 3:09 PM UTC

Formalization of Erdős Problems
xenaproject.wordpress.com

Re: Formalization of Erdős Problems

#2

Post by kevinbuzzard » Fri, Dec 05, 2025, 3:09 PM UTC

A discussion by Boris Alexeev on recent events in AI + mathematics

Post reply on HN