Ми стоїмо на порозі глибоких змін у галузі математики. Вайб підтверджує. Арістотель з @HarmonicMath щойно довів задачу Ердуша #124 у @leanprover році, і це вже окремо. Ця проблема залишається відкритою майже 30 років з моменту припущення у статті «Повні послідовності множин цілих степенів» у журналі Acta Arithmetica. Борис Олексєєв розв'язав цю задачу, використавши бета-версію Арістотеля, нещодавно оновлену для кращої здатності до мислення та інтерфейсу природної мови. Математичний надінтелект наближається з кожною хвилиною, і я впевнений, що він зміниться та суттєво прискорить прогрес у математиці та всіх залежних галузях.