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

Коли ланцюг @0xPolygon мав 69 реорганізацій, ціна на день становила 2,89. Тепер він працює ідеально з величезним потоком і ціною 0.15. Все, що кожен може зробити — це продовжувати будувати