🚨 Агент Math Inc, Гаусс, щойно автоформалізував доведення гіпотези Рімана для кривих