AI Science
ИИ добрался до открытых задач Эрёша
Новая подборка по науке с ИИ показывает сразу несколько направлений взросления области: формальные доказательства выходят к настоящим математическим задачам, белковые модели обнаруживают слабые места на вирусных последовательностях, а материаловедение все ближе к замкнутым автоматическим циклам поиска. Главное здесь не эффектные обещания, а переход к более проверяемым и воспроизводимым рабочим схемам.