Математики-люди уступают в поиске контрпримеров

Статья обсуждает, как современные ИИ-модели находят контрпримеры к гипотезам, которые казались верными людям. Это демонстрирует прогресс в области автоматического доказательства теорем и способности нейросетей к сложному логическому анализу. Подобные прорывы меняют подход к фундаментальным исследованиям в математике.