Támogatná-e a matematikusok bojkottját az OpenAI ellen az AI által generált, nehezen ellenőrizhető matematikai bizonyítások miatt?

Az OpenAI több száz, mesterséges intelligencia által készített matematikai kézirat közzététele után az Association for Human Mathematics bojkottot sürget. A szervezet szerint a nehezen érthető, ellenőrizetlen bizonyítások sértik a tudományos kutatás alapelveit, és a matema

• Igen, a bizonyítások emberi ellenőrzéséig indokolt a bojkott.
• Nem, a nyilvánosságra hozott eredmények elősegítik a tudományos fejlődést.
• Csak szigorúbb átláthatósági és szerzőségi szabályok mellett.