Это безумие! Стартап Axiom, основанный @CarinaLHong всего 4 месяца назад, решил 9 из 12 математических задач на конкурсе Патнама, что намного сложнее, чем IMO!