связь история общество самит интересное

OpenAI заявила, что её reasoning-модель опровергла гипотезу Эрдёша 1946 года

OpenAI заявила, что новая reasoning-модель нашла оригинальное математическое доказательство, опровергающее известную гипотезу Пала Эрдёша из дискретной геометрии.

Речь идёт о unit distance problem — задаче о том, сколько пар точек на плоскости могут находиться ровно на расстоянии 1 друг от друга.Гипотеза была сформулирована в 1946 году.

DMCA