Conversation: ИИ опроверг математическую гипотезу Эрдеша
Компания OpenAI сообщила, что один из ее внутренних ИИ-моделей нашел контрпример к известной математической гипотезе венгерского математика Поля Эрдеша, сформулированной еще в 1946 году. Результат уже называют одним из первых по-настоящему значимых математических открытий, полученных искусственным интеллектом. Об этом сообщает портал The Conversation.
Речь идет о так называемой задаче о единичных расстояниях на плоскости (planar unit distance problem), также известной как задача Эрдеша №90.