Слава богу, что некоторые LLM могут выигрывать золото на IMO. Даже по базовым вопросам функционального анализа (таким как разложение подпространства) o3 дает безнадежно неправильные вопросы. Но я оптимистично настроен, что через 1-2 года все будет намного лучше.