@danshipper
Дэн Шиппер рассуждал о том, как оценивать способность моделей воспроизводить новые математические открытия при разной степени подсказок, на примере гипотезы Эрдёша о единичных расстояниях на плоскости. Также он писал, что AI создаёт дополнительную работу для человеческих экспертов, и размышлял о влиянии автоматизации на агентность, идентичность и моральные интуиции. Отдельно он поделился результатом и сравнением анализа GPT-5.6 с результатом Astra.