4 artykuły

Rekord w badaniu luk między liczbami pierwszymi przeszedł od matematyczki do systemów AI w zaledwie kilka dni. Hipoteza nadal pozostaje nierozwiązana.

OpenAI twierdzi, że jej AI znalazła rozwiązanie problemu Naviera-Stokesa. Matematycy domagają się jednak sprawdzenia dowodu.

Agenci AI firmy Anthropic zapisali w języku Lean formalną wersję dowodu wielkiego twierdzenia Fermata, obejmującą 13 milionów linii kodu.

Zdobywca Medalu Fieldsa Jacob Tsimerman odchodzi od matematyki i dołącza do OpenAI, gdzie chce pracować nad bezpieczeństwem AI.