С радостью делюсь: #Aletheia, наш агент по математическим исследованиям, только что самостоятельно решил 6 из 10 notoriously hard задач FirstProof, что является лучшим результатом в первом испытании! Для меня это даже важнее, чем наше историческое достижение на IMO в прошлом году; эти задачи ставят под сомнение даже лучших математиков. Мы делимся нашими результатами открыто, смотрите статью и полные мысли в теме. 👇