Lägg till som favorit
Foto: Förhandsbild från källan: Techcrunch.com
OpenAI kritiseras för bristande standarder i matematiska lösningar
OpenAI har nyligen publicerat hundratals lösningar på några av världens svåraste matematiska problem, men resultaten möts nu av kritik från expertis. En rådgivande grupp bestående av elitmatematiker, AGMAI, vid Princeton Universitys Institute for Advanced Studies menar att företaget inte lever upp till branschens standarder, särskilt vad gäller kravet på mänsklig förståelse för resultaten.
Kritiken rör främst att OpenAI fortsätter att testa avancerade problem på proprietära modeller, trots rekommendationer om att avstå från detta. Dessutom saknas formalisering i en stor del av bevisen; endast 42 procent av de släppta bevisen hade genomgått den process som krävs för att göra dem begripliga för människor när de är för komplexa för naturligt språk.
Ytterligare oro har väckts genom en studie från forskare vid University of Cambridge och King’s College London. Studien pekar på diskrepanser mellan modellernas förklaringar i naturligt språk och den kod som används för att verifiera lösningarna, exempelvis i fall kopplade till Navier-Stokes ekvationer. Detta väcker frågor om huruvida man kan lita på AI-modeller som formaliserar sina egna lösningar utan mänsklig inblandning och granskning.
