Carina Hong
speaker
82 appearances
1 recordings
1 series
first heard Sep 2026
last heard 4 Sep
Carina Hong’s voice in public audio — every appearance, attributed to the second.
Trend
recordings per month · last 12 monthsRecordings per month over the last 12 months — 1 in all, peaking in Sep 2026 with 1.
Appearances
Karina Holm, founder and CEO of Axiom Math.
Yeah, we're gonna do that.
The the history I think has been that every mathematical discovery like unlocks like either um an applied um like an actual real world application like hundreds of years down the road or it even starts like new fields in science.
So we're very excited about all these mathematical discoveries happening.
Um for the audiences who don't know what's new, um we had an exciting week.
Um the very long
astonishingly notoriously hard problem um bounded gap in primes have been the world record has been updated three times this week first by Julia Stallman the human mathematician um getting two forty down from two forty six and then by Axiomass at two twelve and then by OpenAI Astra at one eighty six.
So it's uh
So it's a
Proof Olympics time.
So so to track kind of like the the community of mathematicians, but also the community of researchers working on AI for math, um, Pas Shafto, uh who is a program manager at DARPA, um organizes this sort of meetup every every two months or every three months.
And um we just went to the last edition of that.
It was like two weeks ago in Seattle.
Uh Terry Tao was there, Alex Pantaroch was there, um Boris um Alex Seed from Open AI was there, a lot of the uh academics who are working on harness engineering um that are great mathematicians are there, a lot of um industry AI researchers are there, um including people from open AI.
Um we were there.
And AWS was there.
Um the the energy is incredible.
I think it's like all the it was like a three day like research program.
Everyone was reporting their newest, um the open source model, uh Godot Prover has a version three, that's a Princeton lab, Sangiv Aurora's.
The community is thriving.
Showing 1–20 of 82 · page 1 of 5
Next →