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

Covers OpenAI claims it solved an 80-year-old math problem — for real this time

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

Read the original article