OpenAI dumpt 372 AI-gegenereerde wiskundebewijzen op GitHub en zegt tegen de academische wereld dat ze moeten bijbenen

OpenAI heeft 372 door AI gegenereerde wiskundige resultaten op GitHub gepubliceerd, inclusief Lean-formalisaties voor machinale verificatie. Elk resultaat kostte gemiddeld ongeveer drie uur aan ChatGPT Pro-rekenkracht. Maar 25 Fields-medaillewinnaars waarschuwen dat het massaal produceren van wiskundige waarheden vruchtbare grond kan vernietigen in plaats van nieuwe ideeën tot leven te brengen. Het artikel "OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up" verscheen voor het eerst op The Decoder.