OpenAI News·· 6 октябряОценка AI57
OpenAI опубликовал результаты в области математики
Sharing AI progress in mathematics
Кратко от AI
OpenAI представил новые результаты по открытым математическим задачам и поделился формализациями доказательств Lean на GitHub.
Источник:OpenAI News · openai.com