крутой этап в математике ИИ Аристотель (математик ИИ) только что решил задачу Эрдёша #124, которая была открыта почти 30 лет борис алексеев (математик-исследователь) запустил её на новой бета-версии Аристотеля с более сильным рассуждением + интерфейсом на естественном языке, и он произвел полное формальное доказательство. довольно безумный момент для доказательства теорем ИИ.