Found
a great overview
about solving Erdős problems. Highly recommend. And yeah, I’ve already said that overall the
channel
is top-tier (even if the lifestyle posts aren’t my thing).
I mean, right now AI is doing what people are unlikely to do because of their human nature: systematically combing the field. The fact that in that field it turns up unsolved Erdős problems is more a fact about the state of human mathematics than about AI models. But still, a fact.
Links from the original post:
Original (RU)
Нашел
отличный обзор
про решение проблем Эрдеша. Крайне рекомендую. Ну и я уже говорил, что в целом
канал
топовый (хотя лайфстайл посты не мое).
То есть сейчас AI занимается тем, чем люди заниматься вряд ли могут по своей человеческой природе: систематически прочёсывает поле. Тот факт, что в этом поле обнаруживаются нерешённые задачи Эрдёша — это скорее факт о состоянии человеческой математики, чем об AI-моделях. Но, тем не менее, факт.