Антропик Павел Измайлов говорит, что ИИ пока не сможет делать независимые открытия в области биологических наук, потому что он не может проводить физические эксперименты. Но в математике, где модели, вероятно, овладеют формальными доказательствами и языками, ИИ вскоре станет лучше людей в доказательстве технических лемм.