Keep on to blur preview images; turn off to show them clearly
RT @SaiSreenish: @CarinaLHong this should be on your office wall - first thing people see when they enter.
@axiommathai : careers@axiommath.ai
RT @QuchengG: @CarinaLHong Reminds me of early chess engines needs to search million positions whereas AlphaGo zero only needs to search fe…
@axiommathai : careers@axiommath.ai
RT @zavaindar: honestly this is so fucking cool if you’re a computer scientist working in adtech right now .. why?!
@axiommathai : careers@axiommath.ai
Let's go through Harmonic PR last week: 1. Claimed Aristotle solved most of Erdos problems, while in fact the software assisted in the formalization of problems of existing human solutions 2. Claimed they got Putnam first, while they didn't 3. Claimed that IMO is harder than Putnam because proofs are longer. I don't know if the social media manager knows any technical stuff so I give them a pass
@axiommathai : careers@axiommath.ai
RT @AAlbaneseNY: Excited to announce that @a16zcrypto is expanding into Asia and opening our first office in Seoul, South Korea. As part of…
Market Design/Entrepreneurship Professor @HarvardHBS & Faculty Affiliate @Harvard Economics; Research @a16zcrypto; Editor @restatjournal; Econ @Quora; … | #QED
RT @yanda: @HarmonicMath @leanprover @namrata_anand2 Axiom solved 8/12 in real time, 2 minutes before the human exam ended & published 3 da…
@axiommathai : careers@axiommath.ai