Împărtășirea progresului AI în matematică

OpenAI a publicat noi rezultatele privind problemele deschise în matematică, utilizând un model intern de frontieră. De asemenea, a împărtășit formalizările dovezilor Lean și detalii de cercetare pe GitHub.