OpenAI publikuje wyniki matematyczne swojego modelu. Część dowodów sprawdzi komputer

OpenAI udostępniło zestaw nowych wyników matematycznych uzyskanych przez wewnętrzny model, którego nazwy nie podaje. Przy wyborze sposobu publikacji firma radziła się niezależnej grupy doradczej przy Institute for Advanced Study, amerykańskim ośrodku badań podstawowych. Wiele dowodów zapisano w języku Lean, w którym poprawność dowodu sprawdza komputer. Według OpenAI przeciętny wynik zużył tyle mocy obliczeniowej, ile około trzy godziny myślenia ChatGPT Pro.