Теренс Тао
25 обладателей медали Филдса: гонка ИИ-лабораторий за доказательствами вредит математике
ИИ помог доказать возникновение сингулярности в гладком течении