StarZero All shows Try the podcast clipper →

Erdos problems

also referred to as: erdos problem

1 statements across 1 episodes · 0 bullish · 0 bearish · 1 people on the record · first statement Jun 3, 2026 by Carina Hong · across every show →

Everything said about Erdos problems, oldest first

Jun 3, 2026 neutral
Assertion Supported
Hong: Harmonic's Aristotle Verified an Erdős Problem Proof Found by GPT
“In fact, like, you know, GPT found a proof to an unsolved Erdos problem, and our competitor Harmonic, you know, Aristotle you know, verified it.”
Carina Hong Jun 3, 2026 ▶ 25:33 Scaling Past Informal AI - Carina Hong, Axiom Math
Made with StarZero

Turn any episode into a week of clips.

This entire site, over 200 episodes transcribed, diarized, checked and made playable, runs on the StarZero media pipeline. Drop in your own episode and the podcast clipper finds the moments worth sharing, cuts them, captions them, and reframes them for every feed.

Try the podcast clipper Learn more