「数学は科学の女王であり、数論は数学の女王である」 この言葉を残したのは、カール・フリードリヒ・ガウス (Carl Friedrich Gauss) です。「数学の王子」と呼ばれ、$${19}$$ 世紀最大の数学者として、現在でも多くの数学者から尊敬され続けています。 正十 ...

Today we're announcing Gauss, our first autoformalization agent that just completed Terry Tao & Alex Kontorovich's Strong Prime Number Theorem project in 3 weeks—an effort that took human experts 18+ ...