NYU-professorn i matematik Tristan Buckmaster säger att han och Anthropic-matematikern Levent Alpöge presenterade tre bevis och ett preliminärt resultat om problemet Navier-Stokes existence and smoothness, ett av de sju Millennium Prize problems.
Problemet har en belöning på 1 miljon dollar från Clay Mathematics Institute till den första person eller grupp som lägger fram en lösning. Buckmaster säger att forskarna fick veta att information om deras framsteg hade nått OpenAI. Han säger att OpenAI därefter uppgav att företaget redan hade nått ett fullständigt bevis, men gav allt mer undvikande svar på frågor om när arbetet började och hur mycket mänsklig medverkan det omfattade.
Buckmaster hävdar att OpenAI använde sina datorresurser efter att ha insett att forskarnas metod var lovande. Sebastian Bubeck, som leder OpenAI:s matematikforskning, kallade påståendena ”falska och inflammatoriska”. OpenAI svarade inte på en fråga om huruvida Codex-interaktioner kan ha påverkat arbetet.
Forskarna använde flera AI-modeller, främst OpenAI:s Codex. Alpöge arbetade på Anthropic men bedrev inte forskningen på företagets uppdrag. Buckmaster säger att Bubeck föreslog att Alpöges namn skulle tas bort och senare varnade honom för att skada sin karriär. Buckmaster säger också att han inte anklagar någon och inte har sett OpenAI:s bevis.
Kommentarer
0Inga kommentarer ännu. Skriv den första.