AlphaGeometry

Исследователи из компании DeepMind создали программное обеспечение, способное решать сложные геометрические задачи, которые часто используются для проверки самых способных старшеклассников на международной математической олимпиаде.