Класна віха в математиці ШІ Арістотель (математик ШІ) щойно розв'язав задачу Ердоша #124, яка була відкрита майже 30 років Борис Олексєєв (математик-дослідник) провів його на новій бета-версії Арістотеля з сильнішим інтерфейсом міркування + природною мовою, і він дав повний формальний доказ. Досить божевільний момент для доведення теорем ШІ.