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