« Il y a deux ans, l'IA pouvait à peine résoudre des mathématiques de lycée. » @tachim PDG @HarmonicMath sur la contribution de l'IA aux véritables problèmes mathématiques ouverts : « Les problèmes d'Erdős sont vraiment ouverts — non résolus, mais pas au niveau du Mont Everest comme les Prix du Millénaire. » « Ils ressemblent plus à des collines difficiles. Vous ne construiriez pas une carrière à en résoudre un, mais vous en seriez fier si vous le faisiez. » « Maintenant, nous voyons une activité de l'IA sur de véritables problèmes ouverts. » « Cela signifie que l'IA commence à s'engager avec la frontière, pas seulement avec des exercices. »