Посты с тегом #наука с ИИ

ИИ добрался до открытых задач Эрёша

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