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
To love it.
psychology behind the scene was I think in February we tried having Axiom Prover tackle research conjectures in fields that are um pretty deep, have a lot of theoretical literature.
Um and that was that was successful.
So um Axiom Prover was able to put on archive a few research open problem solutions completely automated and also fully in lean without human intervention.
That's in February.
Immediately the beginning of March, we were um setting more North Star visions.
Um as Ken said, there is a list of targets that we were excited to go after.
The problem of founded gaps in primes is a particularly beautiful one.
It is a lot of people's childhood dreams.
So I think yesterday I saw uh Wei Jesu uh an open AI researcher post that when he was nine.
He knew about the problem.
Uh for me I was um I was twelve years old.
Um I I knew about e Town Jelly
So it was E Town Jones like solution of pushing that to a finite bound, 70 million, which is a very, very large number compared to today the new world record.
But that is a problem that's very fond to a lot of our hearts.
So it's very natural that a lot of people are working on it.
Um I think no one has ownership on any problem and the word of scientific discoveries is pretty infinite, so you have a lot of problems to go after.
Uh we think we will probably enter
similar races like the one with open AI we just had yesterday in the future.
And also we're formalizing big problems.
Showing 41–60 of 82 · page 3 of 5
← Previous
Next →