The unit distance problem

[ny_quant]

https://www.scientificamerican.com/article/ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed/

Правда, как я понял, ИИ не решило проблему, а всего лишь показало, что Эрдош был неправ. Но все равно круто!

Comments

[ticklish_frog]

Это так, но математически задачи венгерской математики интересны не сами по себе, а в качестве идей для других областей. Как бывший математик, могу сказать, важно не "решить", важно продумать интересные конструкции для решения. Как там у Гротендика, "лягушки и другие" :)