The Beauty of Mathematics

The Beauty of Mathematics

Hong bet $1.6 billion on proof over prediction. A theorem, she says, is a program waiting to compile. Three parts, one argument.

Sep 14 • Hugo

The Beauty of Mathematics, Part 3: The Moonshot

She doodled MIT on her math scratch paper in Guangzhou. A decade later, she raised $1.6 billion to teach machines to prove.

Apr 23 • Hugo

The Beauty of Mathematics, Part 2: Proofs from The Book

Erdős believed God kept a book of the most beautiful proofs. The question Carina Hong’s company is quietly confronting is whether a machine can learn to…

Apr 22 • Hugo

The Beauty of Mathematics, Part 1: Math Is Code

The AI industry learned to generate. The next leap is learning to prove. A 25-year-old mathematician is betting $1.6 billion on the gap between the two.

Apr 21 • Hugo

#nojs-banner { position: fixed; bottom: 0; left: 0; padding: 16px 16px 16px 32px; width: 100%; box-sizing: border-box; background: red; color: white; font-family: -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol"; font-size: 13px; line-height: 13px; } #nojs-banner a { color: inherit; text-decoration: underline; } This site requires JavaScript to run correctly. Please turn on JavaScript or unblock scripts