Araştırmacılar OpenAI'ın matematik sonuçlarını denetlemek için bağımsız AGMAI'yi kurduResearchers establish independent AGMAI to audit OpenAI's mathematical results

OpenAI'ın yapay zeka modelleriyle 100 teorem çözeceğini açıklamasının ardından, bilim insanları sonuçların doğruluğunu bağımsız olarak incelemek amacıyla AGMAI grubunu oluşturdu. Bu girişim, yapay zeka tarafından üretilen matematiksel bulguların akademik standartlara uygunluğunu ve yeniden üretilebilirliğini garanti altına almayı hedefliyor.Following OpenAI's announcement that its artificial intelligence models would solve 100 theorems, scientists formed the AGMAI group to independently examine the accuracy of the results. This initiative aims to guarantee that mathematical findings generated by artificial intelligence meet academic standards and are reproducible.