AI только что пересек порог в математике. @tachim CEO @HarmonicMath о том, как AI меняет математическую верификацию: "Год назад формализовать доказательства с помощью AI было практически невозможно. Теперь это принимается очень быстро." "Раньше, если вы решали задачу Эрдёша, вам нужен был профессор, чтобы подтвердить это, рискуя своей репутацией и тратя значительное время." "Теперь любой может попытаться найти решение, формализовать его, и все могут быть уверены, что оно правильное."