MTS(@MTSlive):Axiom Math's Carina Hong on the undergrad intern who proved Richard Stanley conjectures with her AI: "There's someone who just joined our team, a junior undergrad student and intern, using Axiom Prover to prove a couple of conjectures by Richard Stanley, one of the best combinatorialists, at MIT." "That's very exciting for this person, because the AI basically means you can now reach for the impossible conjectures that would typically take you some time of getting used to that difficulty of problem." @CarinaLHong @axiommathai

2026.07.28 00:11

Axiom Math's Carina Hong on the undergrad intern who proved Richard Stanley conjectures with her AI: "There's someone who just joined our team, a junior undergrad student and intern, using Axiom Prover to prove a couple of conjectures by Richard Stanley, one of the best combinatorialists, at MIT." "That's very exciting for this person, because the AI basically means you can now reach for the impossible conjectures that would typically take you some time of getting used to that difficulty of problem." @CarinaLHong @axiommathai