OpenAI · 6 октомври 2026 г.

Споделяне на напредъка на AI в математиката

OpenAI публикува нови резултати по нерешени математически проблеми от вътрешен водещ модел и споделя формализации на Lean доказателства и подробности в GitHub.

Език на оригиналния източник · английски

Прочетете оригинала

Проверено · 10 октомври 2026 г.