这太疯狂了!一个成立仅4个月的初创公司Axiom,由@CarinaLHong创办,解决了普特南竞赛中的9/12道数学题,这比国际数学奥林匹克要难得多!