#математика

OpenAI решил задачу по геометрии, которую не могли осилить 80 лет 🧮

Reasoning-модель опровергла гипотезу Эрдёша об «единичных расстояниях» (1946). Нашла доказательство через алгебраическую теорию... اقرأ المزيد ←