AI9 lis 2026, 03:57 UTC·1 min czytania

OpenAI publikuje 719 prac matematycznych niewydanego modelu AI

OpenAI opublikowało 719 dokumentów o otwartych problemach matematycznych, stworzonych przez niewydany model. Badacze są pod wrażeniem, lecz część ostrzega przed stratami.

Abstract illustration of mathematical equations flowing out of an AI neural network onto a blackboard. — Zdjęcie: genbeta.com

OpenAI opublikowało na GitHubie 719 dokumentów matematycznych wygenerowanych przez jeden z jego najbardziej zaawansowanych modeli sztucznej inteligencji. Prace zostały pogrupowane w 372 rodziny wyników, a wiele z nich dotyczy problemów, które od lat czekały na rozwiązanie. Model, z którego skorzystano, nie jest jeszcze dostępny publicznie.

Dokumenty obejmują m.in. algebrę, teorię liczb i teoretyczną informatykę. Firma przetestowała system na około 4000 otwartych problemów, a na każdy wynik przeznaczyła moc obliczeniową równą mniej więcej trzem godzinom pracy ChatGPT Pro. Nie wszystkie dowody zostały zweryfikowane, a OpenAI przyznaje, że część dokumentów może zawierać błędy.

Zachwyt i niepokój matematyków

Publikacja pojawia się po wrześniowym ogłoszeniu rozwiązania problemu Naviera-Stokesa, jednego z wielkich wyzwań matematyki. Tamte badania skrytykował matematyk Tristan Buckmaster, który zakwestionował rolę wcześniejszych prac w wyniku uzyskanym przez AI. Tym razem firma twierdzi, że skonsultowała się z niezależną grupą ekspertów, by usprawnić sposób dzielenia się odkryciami.

Steven Kelk, profesor nadzwyczajny informatyki teoretycznej na Uniwersytecie w Maastricht, powiedział holenderskiemu dziennikowi Volkskrant, że patrzy na te wyniki z podziwem. Jego zdaniem AI mogła za jednym zamachem osiągnąć postęp równy dziesięciu lub dwudziestu latom badań. Dodał jednak, że pędzenie do rozwiązania pomija wszystko, czego uczymy się po drodze. Przyznał, że budzi to w nim „wielkie poczucie pustki”: badania to także błądzenie, współpraca i odkrywanie nowych idei.

Obawy wyraził też Terence Tao, który zwrócił uwagę na badaczy sięgających po AI bez dostatecznego zrozumienia uzyskanych wyników. Niezależna grupa doradcza AGMAI apeluje, by takie osiągnięcia udostępniać przejrzyście i tak, aby służyły rozwojowi wiedzy ludzkiej.

OpenAI zapowiedziało wpłatę pięciu milionów dolarów na inicjatywę Fundacji Simonsa, która ma pomagać matematykom badać i rozumieć dowody generowane przez sztuczną inteligencję.