Легендарные задачи Эрдёша сдаются под натиском ИИ

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