⚡️ Новость, о которой часто думаю в последнее время: LLM вносят вклад в решение открытых проблем Эрдеша. Это не единичный случай. Основную работу «делал» GPT 5.2, а Aristotle переписывал доказательство на языке Lean. Теренс Тао поделился подробностями здесь, о возможном будущем таких совместных с AI работ см. в посте (5/5).

#math