OpenAI egyszerre közel 400, több mint 700 kéziratban közzétett, mesterséges intelligenciával generált matematikai eredményt adott ki, combinatorikát, geometriát, számelméletet, topológiát és matematikai fizikát is lefedve. A matematikusok „lélegzetelállít&oacu
- Évekbe telhet csak megérteni, mit adtak ki, és hol maradnak benne a matematikusok
- A formalizáció és a Lean-ellenőrzés hiányos vagy egyenetlen, ezért nehéz biztosan tudni, mi helyes
- A terjedelem és a „slop” félelem mellett is van komoly, akár Fields-szintűnek ígérkező munka
- Kutatási programok és pályázatok egy része gyakorlatilag egy nap alatt „kiürült”