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