Myoung Kang

consultant

[Myoung Kang @startupcontrol]

My birthday is happening in 2 weeks. I would like to raise money for this group (Founded in 1989 by Bryan Stevenson, a widely acclaimed public interest lawyer and bestselling author of Just Mercy, EJI is a private, 501(c)(3) nonpro…https://t.co/5fkzO7tUYR https://t.co/44xudz6vp9

[Jamie Quint @jamiequint]

Notion is currently the best multiplayer AI platform and it's not particularly close. This includes anything Anthropic and OpenAI have built.

humans 🤝 agents 🤝 humans

[Myoung Kang @startupcontrol]

@nikunj @akothari I want one too!

[Myoung Kang @startupcontrol]

@martin_casado I walk by this location daily with my corgis and husband

[Myoung Kang @startupcontrol]

@martin_casado @MaikaThoughts excited to see what comes next

[James Cowling @jamesacowling]

Jordan’s a great example of being intentional about growth and making sure he *understands* how systems work and how to train design instincts rather than just going along with whatever an agent says.

If you’re a junior engineer who wants to break through, this is the way.

[Thoughtful @thoughtfullab]

Model shaping is still a craft of a few. That's what AI agents are for: learning it and doing it for everyone else.

As a part of FrontierSWE benchmark we built a 20-hour post-training task on @tinkerapi and found the real bottleneck is research intuition.

[Ishan Sharma @ishansharmaster]

Introducing Selix.

The world's first AI that autonomously finds you paying customers.

RT + Comment "Selix" and I'll send you the top 100 outbound email templates.

[Myoung Kang @startupcontrol]

Nice. Instead of getting a 20B contract, it would have been for @GroqInc to get stock instead

https://t.co/hd877B3jGP

[Myoung Kang @startupcontrol]

@CrowdStrike Knox has been having a hard time getting responses from your team. Also we have a documented list of issues. How does a customer get any service?

[Sebastian Heyneman @s_heyneman]

I flew to Davos to pitch my startup. Instead, I spent the 13 hours in a Swiss jail cell because my prototype looked like an IED.

To me, it’s an MVP. To the WEF Police, it was a "Category A Threat."

Here is the story of the most aggressive product validation in history. 🧵

[Myoung Kang @startupcontrol]

@airlines31203 I have been trying for over 2 years to get a refund. On 11/13 I received an email saying a manual payment was initiated. Do you know when I will get it

[Axiom @axiommathai]

1/ AxiomProver got 12/12 of Putnam 2025. Today we release the Lean proofs AxiomProver generated autonomously.

We also provide our take of the problems, proof visualizations, and compare how humans vs AI approach differently. Tons of fun math and Lean!

Our findings in thread.

[Axiom @axiommathai]

1/ The Collatz conjecture has humbled mathematicians for near 90 years. Paul Erdös said "mathematics is not yet ready for such problems." 🧵

So we handed it to transformers. What they learned stunned us!

New research from Axiom's math discovery team, blog live this morning.

[Carina Hong @CarinaLHong]

Putnam, the world's hardest undergrad math contest, ended 4pm PT yesterday.

By 3:58pm, AxiomProver @axiommathai autonomously solved 8/12 of Putnam2025 in Lean, a 100% verifiable language.

Last year, our score would've been #4 of ~4000 and a Putnam Fellow (top 10 in recent yrs)

[Carina Hong @CarinaLHong]

AxiomProver keeps getting stronger.

And @axiommathai keeps growing.

I'm excited to share that Prof. Ken Ono @KenOno691 has joined Axiom as Founding Mathematician and FTE #15.

He left his tenured position as STEM Advisor to Provost at UVA to build an AI mathematician with us.

Here's Ken's story. (1)

[Axiom @axiommathai]

Congratulations to our founder @CarinaLHong: she was just named Forbes 30 under 30 (AI category) for her work building Axiom!

[Carina Hong @CarinaLHong]

Really proud of the @axiommathai discovery team’s cool result!

[Alberto Alfarano @albe_alfa]

Ciao, I'm Alberto and I joined Axiom on the AI for math discovery team. It feels like a dream to be here, surrounded by such amazing colleagues!

I'm especially excited to work with my mentor since 2021, @f_charton, on crazy hard math problems with AI!

[Fei-Fei Li @drfeifei]

Had a lot of fun chatting with @lennysan !

[Myoung Kang @startupcontrol]

Happy Halloween!