Axiom - Most think vibecoding at scale is slop. Here’s a counterexample. Tod

01 · Hook · 0:00–0:01

A woman with long dark hair speaks in a dim lounge; the shot cuts from a close-up to a wider medium view as a white lower third identifies her and a subtitle carries her line.

On-screen text: “16 million lines, the largest integrated”, “FOUNDER / CEO, AXIOM”, “CARINA HONG”

Camera: Static

02 · Hook · 0:01–0:05

A woman in a black top sits centered in a sunlit office with wooden beams, leather armchairs and plants, speaking to camera. The locked-off shot holds as white subtitles cycle at the bottom and a name lower-third stays at left.

On-screen text: “FOUNDER / CEO, AXIOM”, “CARINA HONG”, “16 million lines, the largest integrated”, “reusable library of formalized”, “mathematics ever created.”

Camera: Static

03 · Hook · 0:05–0:06

A woman with long dark hair in a black top sits and speaks in a medium close-up, the background a blurred lounge with a brown armchair. A white subtitle reads “mathematics ever created.” at the bottom.

On-screen text: “mathematics ever created.”

Camera: Static

04 · Hook · 0:06–0:10

A woman with long dark hair in a black top sits in a warm, softly lit room, speaking to an off-camera interviewer and smiling. The locked-off medium close-up keeps her right of center against a blurred background of plants and shelves.

On-screen text: “mathematics ever created.”, “We formalized the entire”, “Stacks Project in Lean.”

Camera: Static

05 · Problem · 0:10–0:13

A blurred dark shape drifts out of frame as the camera pulls back from an out-of-focus grid of teal links to a bright webpage. The page shows a serif headline, body copy, three statistics, and two buttons beside a 3D field of thin white and red vertical bars.

Techniques: UI zoom

Camera: Pan

06 · Problem · 0:13–0:15

A light documentation page holds a serif heading and two gray paragraphs; the shot begins soft and pulls into focus while drifting slightly forward.

Camera: Static

07 · Problem · 0:15–0:16

Close-up of a left hand resting on a black wireless mouse on a dark desk. The hand glides the mouse slightly forward and back, fingers relaxed. Shallow depth of field blurs the workspace behind, with a cable trailing off to the right.

Camera: Static

08 · Problem · 0:16–0:17

An extreme close-up holds on a man's eyes behind thin rectangular glasses as he looks off to the side. Shallow depth of field blurs the gray background into soft shapes. His head turns slightly, shifting the profile angle.

Camera: Static

09 · Problem · 0:17–0:19

Over-the-shoulder view of a person's head at left, out of focus, facing a Dell monitor that fills the frame. The screen shows a dark network graph of small white and blue nodes linked by thin lines. A white caption sits at the bottom. The camera stays locked off.

On-screen text: “In 2005, a Columbia University”

Camera: Static

10 · Problem · 0:19–0:23

A bespectacled man in a blue shirt sits in a wood-paneled study, speaking in a locked-off medium shot. White subtitles run along the bottom while a lower-third name caption fades in at left.

On-screen text: “In 2005, a Columbia University”, “mathematician named Johan de Jong”, “MEMBER OF TECHNICAL STAFF, AXIOM”, “ASHVIN SWAMINATHAN”, “had an idea.”

Camera: Static

11 · Problem · 0:23–0:31

A man in glasses and a gray shirt sits centered before a wooden bookshelf, speaking to camera in a locked-off medium shot. A lower-third name caption appears at the start, and white subtitles run along the bottom of the frame.

On-screen text: “MEMBER OF TECHNICAL STAFF, AXIOM”, “ASHVIN SWAMINATHAN”, “had an idea.”, “What if we organize this mathematical knowledge”, “the way that software engineers develop”, “an open source project like the Linux kernel.”

Camera: Static

12 · Problem · 0:31–0:32

A person in a dark navy henley types on a laptop in a tight close-up, the face cropped out and a window with green foliage blurred behind. The camera holds still while a white caption line sits low in the frame.

On-screen text: “an open source project like the Linux kernel.”, “Rather than one person writing a definitive”

Camera: Static

13 · Problem · 0:32–0:34

A man in a black beanie is filmed in profile, looking left against a white industrial wall. A soft blurred white shape fills the lower foreground. The frame stays locked off while a caption holds at the bottom.

On-screen text: “Rather than one person writing a definitive”

Camera: Static

14 · Problem · 0:34–0:38

A bald man in a maroon shirt sits at a wooden table, hands clasped, talking in a softly lit room with windows and plants. A white lower-third identifies him on the right, and white subtitles appear at the bottom.

On-screen text: “Rather than one person writing a definitive”, “textbook, mathematicians could”, “RESEARCH FELLOW, AXIOM”, “JESSE THORNER”, “collaboratively build a shared reference.”

Camera: Static

15 · Problem · 0:38–0:40

A bald man in a maroon shirt sits centered at a light wooden table, hands clasped, speaking directly to camera in front of three windows with autumn trees. A static lower-third identifies him, and white subtitles track his speech at the bottom.

On-screen text: “RESEARCH FELLOW, AXIOM”, “JESSE THORNER”, “collaboratively build a shared reference.”, “That became the Stacks Project.”

Camera: Static

16 · Problem · 0:40–0:42

A slightly angled close-up of a code editor stays out of focus, the lines of text blurred and illegible. A white caption line, 'The most significant thing about', sits at the bottom of the frame, static. The shot is locked-off with no camera movement.

On-screen text: “The most significant thing about”

Camera: Static

17 · Problem · 0:42–0:44

A man with a ponytail sits in profile at a desk, facing a monitor in a bright open office with ceiling lights and hanging plants. White subtitles appear centered at the bottom of the frame.

On-screen text: “The most significant thing about”, “the Stacks Project”

Camera: Push in

18 · Problem · 0:44–0:53

A man in a white shirt with colored stripes sits at a wooden table and speaks to camera, gesturing with his hands. A yellow mug rests on the table; shelves and a window fill the background. A lower-third name caption appears on the left, then the shot cuts to a tighter close-up.

On-screen text: “the Stacks Project”, “is its structure.”, “Think about the glass pyramid in front of the Louvre.”, “MEMBER OF TECHNICAL STAFF, AXIOM”, “VASILY ILIN”, “It is an intricately linked”, “foundation where everything has to fit together.”, “The Stacks Project”

Camera: Static

19 · Problem · 0:53–0:59

A man with slicked-back hair in a white shirt with a green stripe speaks in a bright interior with white columns and a blurred window. He gestures with both hands while white subtitles appear line by line at the bottom center, each line replacing the previous one.

On-screen text: “foundation where everything has to fit together.”, “The Stacks Project”, “is a beautiful, delicate”, “structure crafted by many”, “mathematicians, manually.”

Camera: Static

20 · Problem · 0:59–1:04

A woman with long dark hair in a black top sits centered, speaking to camera in a sunlit office lounge with wooden trusses, tan leather armchairs and potted plants. The locked-off shot holds while white subtitle lines swap in place at the bottom.

On-screen text: “mathematicians, manually.”, “The Stacks Project include over a hundred”, “chapters and thousands of”, “definitions and theorems.”

Camera: Static

21 · Problem · 1:04–1:12

A woman with long dark hair in a black top sits in a softly lit room and speaks to an off-screen interviewer. A tan leather armchair and a potted plant sit blurred behind her. White subtitles change at the bottom as she talks. The camera stays locked off.

On-screen text: “definitions and theorems.”, “They all need to interact perfectly, like”, “the nervous system of the”, “human body, for it to work.”, “The whole point of Stacks is to create this”

Camera: Static

22 · Problem · 1:12–1:18

A woman with long black hair in a black top sits in a warm, plant-filled room, speaking and gesturing to an off-camera interviewer. The locked-off medium close-up keeps the background soft and blurred while white subtitles swap at the bottom of the frame.

On-screen text: “The whole point of Stacks is to create this”, “assembly of knowledge”, “so that future mathematical ideas can be”, “developed in a natural way.”

Camera: Static

23 · Problem · 1:18–1:24

A woman with long dark hair in a black top sits in a wooden office lounge, speaking to camera. A locked-off medium shot keeps her sharp while the background blurs. White captions swap line by line at the bottom center.

On-screen text: “To formalize Stacks”, “without preserving the structure,”, “then there's no point in doing it at all.”

Camera: Static

24 · Feature reveal · 1:24–1:28

A man in a white shirt with colored stripes sits at a wooden table in a bright room, speaking to camera and gesturing with his right hand. A yellow mug sits on the table; shelves with plants and a tall window fill the background.

On-screen text: “There is an assumption that when”, “AI builds something this large,”

Camera: Static

25 · Feature reveal · 1:28–1:30

A man with slicked-back hair in a white striped shirt sits in a bright office, gesturing with both hands as he speaks. A medium close-up holds him against a gray sofa and a window, with white subtitles captioning his words at the bottom.

On-screen text: “Al builds something this large,”, “the whole thing will just collapse.”

Camera: Static

26 · Feature reveal · 1:30–1:32

A man in a white shirt with colored stripes sits at a wooden table, both palms open in a shrug toward the camera. A yellow mug rests at left; shelves and a bright window fill the background. The locked-off frame holds on him as he speaks.

On-screen text: “Well it does not.”

Camera: Static

27 · Feature reveal · 1:32–1:35

A man in a white shirt speaks to an off-camera interviewer, gesturing with his right hand, framed against a soft-focus background of vertical window mullions. White subtitles sit at the bottom of the locked-off shot.

On-screen text: “Well it does not.”, “What we've done instead is convert”, “the entire project to formalized code”

Camera: Static

28 · Feature reveal · 1:35–1:37

A man with a bun sits at a desk, hands on a mouse, facing a monitor in an office with a whiteboard behind him. The shot cuts to a tight close-up of his face as he looks off camera. White captions read at the bottom.

On-screen text: “the entire project to formalized code”, “while still preserving”

Camera: Static

29 · Feature reveal · 1:37–1:39

A man with his hair in a bun and a cream shirt sits in a bright office, gazing off-camera and speaking. The background blurs ceiling lights and a hanging plant. White caption text reads across the lower frame in two lines.

On-screen text: “while still preserving”, “its delicate structure.”

Camera: Static

30 · Feature reveal · 1:39–1:47

A man in a white shirt with colored stripes sits at a wooden table, talking to the camera and gesturing with one hand. A yellow mug sits on the table; shelves with plants and a bright window fill the room. White subtitles run along the bottom.

On-screen text: “Just like Stacks provided a reusable”, “foundation for humans to do mathematics,”, “we're now inventing a foundation for”, “agents to do the same.”

Camera: Static

31 · Feature reveal · 1:47–1:49

A man with slicked-back hair in a white shirt speaks in a medium close-up, framed against a blurred interior of white columns and soft daylight. White subtitle lines appear at the bottom of the frame while he talks.

On-screen text: “agents to do the same.”, “We built a hierarchy of agents with”

Camera: Static

32 · Feature reveal · 1:49–1:52

A grid interface labeled with algebraic topics shows numerous small cone-shaped agents moving across dotted cells. A red circle highlights one agent on the left, and white caption text runs along the bottom.

On-screen text: “specialized roles, thousands of agents working in parallel”

Techniques: Particles

Camera: Static

33 · Feature reveal · 1:52–1:56

A vertical stack of horizontal particle layers in 3D perspective, each a band of small green and yellow dots, with a thin gold ring around one upper plane. The top layer accumulates green square particles over time while flat date and count labels sit along the left edge.

On-screen text: “with every definition and abstraction aligned,”, “and each result reusable across”

Techniques: Particles, 3D mockup

Camera: Static

34 · Feature reveal · 1:56–1:59

A man in a striped shirt sits at a wooden table in a bright room, speaking to camera, then a cut reveals a man with glasses before a bookshelf, also addressing the lens. Both shots are locked off with white subtitles along the bottom.

On-screen text: “and each result reusable across”, “the entire library.”, “We weren't just teaching AI agents”

Camera: Static

35 · Feature reveal · 1:59–2:08

A man in round glasses and a gray shirt over a blue tee sits in a wood-paneled study lined with books, speaking to an off-camera interviewer. The camera is locked off; he shifts his gaze and head slightly as white captions run along the bottom.

On-screen text: “We weren't just teaching Al agents”, “to prove mathematics.”, “We were learning how to organize Al agents”, “into something resembling”, “a serious software engineering organization.”

Camera: Static

36 · Feature reveal · 2:08–2:10

A man in a white shirt with colored stripes sits in a sunlit office, speaking to camera. The frame cuts from a medium close-up to a wider shot revealing a wooden table with a yellow mug. A white caption appears at the bottom.

On-screen text: “Formalization also exposes gaps.”

Camera: Static

37 · Feature reveal · 2:10–2:20

A man in a white shirt with colored stripes sits at a wooden table in a bright room, speaking to camera and gesturing with open hands. White subtitles swap line by line at the bottom of the locked-off frame.

On-screen text: “Formalization also exposes gaps.”, “Our agents found dozens of subtly false statements”, “in Stacks and resolved them,”, “constructing explicit counter-examples,”, “identifying missing hypotheses,”

Camera: Static

38 · Feature reveal · 2:20–2:22

A man with tied-back hair in a white shirt speaks to an off-camera interviewer, framed in a static medium close-up against bright vertical window mullions. The locked-off shot holds on his face as he talks, with white subtitle captions at the bottom carrying the narration.

On-screen text: “identifying missing hypotheses,”, “and formalizing corrected versions.”

Camera: Static

39 · Other · 2:22–2:29

A woman with long dark hair in a black top sits centered in a wood-beamed office lounge, speaking to camera while white subtitles change line by line along the bottom. Leather armchairs and potted plants stay softly out of focus behind her.

On-screen text: “As AI pushes the frontier of mathematics”, “faster and faster, assurance that”, “its foundations are on solid footing”, “and formalizing corrected versions.”

Camera: Static

40 · Other · 2:29–2:33

A woman with long dark hair, wearing a black top, sits in a softly lit office and speaks to an off-camera interviewer. The medium close-up is locked-off with a shallow depth of field, blurring the plants and shelves behind her. White subtitles run along the bottom edge.

On-screen text: “its foundations are on solid footing”, “is more important now than ever”, “before and more importantly,”

Camera: Static

41 · Other · 2:33–2:38

A woman with long dark hair in a black top sits in a dim lounge, talking to someone off camera. A tan leather armchair and a potted plant sit blurred behind her. White subtitles swap line by line along the bottom of the locked-off frame.

On-screen text: “ensuring that an entire”, “library is compatible and consistent”, “where all the knowledge artifacts”

Camera: Static

42 · Other · 2:38–2:41

A woman with long dark hair in a black top sits in a warm, blurred interior, speaking off-camera. The locked-off medium close-up holds on her face as two lines of white subtitles appear at the bottom.

On-screen text: “where all the knowledge artifacts”, “do not have any paradox or contradiction.”

Camera: Static

43 · Other · 2:41–2:49

A bespectacled man in a grey shirt sits before a wall of wooden bookshelves, speaking to camera in a locked-off medium shot. White subtitles at the bottom caption his words about the golden record.

On-screen text: “We once put a golden record on a spacecraft,”, “so that some distant intelligence”, “might discover what humanity had achieved.”

Camera: Static

44 · Other · 2:49–2:56

A man with round glasses and a gray button-up shirt sits in a wood-paneled study lined with books, speaking to an off-camera interviewer. White caption lines cut in one after another at the bottom center, tracking his words.

On-screen text: “might discover what humanity had achieved.”, “And now we're building a”, “library of mathematics”, “for a new kind of intelligence emerging”, “here on Earth.”

Camera: Static

45 · Other · 2:56–3:03

A woman with long dark hair in a black top sits centered in a warm office lounge, speaking to camera and gesturing with her hands. The shot is locked-off with a soft-focus background of leather chairs, plants and wooden beams, while white subtitles run along the bottom edge.

On-screen text: “I think what's so exciting about Stacks is that”, “agents, they're now empowered to”, “have the foundation for them to build.”

Camera: Static

46 · Other · 3:03–3:06

A woman with long dark hair sits in a warm, softly lit room, smiling and speaking toward someone off camera. She is framed in a locked-off medium close-up with a tan leather armchair and potted plants blurred in the background.

On-screen text: “They should absolutely go out there to”

Camera: Static

47 · Other · 3:06–3:20

A woman with long dark hair in a black top sits in a warm, softly lit room with blurred plants and beams behind her. She talks to an off-camera interviewer, smiling and nodding, as white subtitles swap at the bottom of the locked-off medium close-up.

On-screen text: “discover new algebraic geometry objects”, “and add to this ever-growing”, “library of modern mathematics.”, “And it's not just algebraic geometry,”, “it's algebra, it's number”, “theory, it's algebraic topology.”, “There are so many things for”

Camera: Static

48 · Other · 3:20–3:25

A woman with long dark hair in a black top sits in a dimly lit room, talking off camera. A tan leather armchair and potted plants sit blurred behind her. White subtitles appear line by line at the bottom of the locked-off frame.

On-screen text: “There are so many things for”, “a swarm of agents to discover.”, “And if you don't have the right starting”

Camera: Static

49 · Other · 3:25–3:25

A woman with long dark hair in a black top sits in a wood-beamed office lounge between two leather armchairs, speaking to camera and gesturing with both hands. A white subtitle line sits at the bottom of the frame.

On-screen text: “And if you don't have the right starting”

Camera: Static

50 · CTA · 3:25–3:29

Over-the-shoulder, a blurred man with glasses watches a bright monitor showing a dense graph interface with labeled boxes and green dots. The camera stays locked off while white subtitles appear at the bottom.

On-screen text: “And if you don't have the right starting”, “point, it's really hard to expand”

Camera: Static

51 · CTA · 3:29–3:31

A locked-off, slightly angled close-up of a laptop screen shows a live dashboard: the date, tag count, percentage and line count tick upward while green progress bars for each book part fill. A white caption at the bottom gives the URL.

On-screen text: “At stacks.axiommath.ai”

Camera: Static

52 · CTA · 3:31–3:33

A man in a striped white shirt sits at a wooden table, gesturing with one hand as he speaks to camera. A yellow mug rests on the table, with shelves and a leafy window behind him.

On-screen text: “At stacks.axiommath.ai”, “you can read the Stacks text beside the”

Camera: Static

53 · CTA · 3:33–3:34

A softly blurred document page of The Stacks project fills the frame, showing a left sidebar and mathematical lemmas with a proof diagram. A white caption line sits at the bottom center. The shot holds still with the background out of focus.

On-screen text: “you can read the Stacks text beside the”

Camera: Pan

54 · CTA · 3:34–3:36

A blurred mathematics document fills the left side while a Lean code editor with line numbers sharpens on the right. A white caption at the bottom updates from the first phrase to the second as the focus shifts to the code.

On-screen text: “Lean code and trace the”, “dependency graph like the Stacks Project”

Techniques: UI zoom

Camera: Pull out

55 · CTA · 3:36–3:38

A code editor fills the frame with dense source code and line numbers, soft and out of focus at first, then snapping sharp and pulling back to reveal a top search bar. A white caption sits centered along the bottom edge.

On-screen text: “dependency graph. Like the Stacks Project”

Camera: Pull out

56 · CTA · 3:38–3:42

Over-the-shoulder shot of a person seated at a desk, the camera slowly orbits around their dark head and black shoulder. A Dell monitor fills the frame, showing a 3D grid of vertical bars in white, red, yellow and blue that rotates and pans like a cityscape. White subtitles run along the bottom.

On-screen text: “dependency graph. Like the Stacks Project”, “it's open source and it's meant to grow.”, “We invite mathematicians, Lean developers,”

Camera: Push in

57 · CTA · 3:42–3:46

A man with slicked-back hair in a white striped shirt speaks in a bright room with tall windows, gesturing with both hands before resting them. The locked-off medium close-up holds on him as subtitles appear at the bottom.

On-screen text: “We invite mathematicians, Lean developers,”, “and Al agents, of course, to contribute.”

Camera: Static

58 · Other · 3:46–3:55

A woman with long dark hair in a black top sits in a softly lit room, blurred plants and shelves behind her. She speaks off-camera with a slight smile in a locked-off medium close-up. White subtitles roll at the bottom of the frame.

On-screen text: “This work stands on the shoulders of giants,”, “Johan de Jong and the”, “hundreds of Stacks contributors around”, “the world and the Lean and Mathlib communities.”

Camera: Static

59 · Other · 3:55–4:05

A woman in a black top sits centered in a sunlit office with wooden trusses and tan leather chairs, speaking to camera. White subtitles roll across the lower third as she talks, locked-off frame with shallow depth of field.

On-screen text: “the world and the Lean and Mathlib communities.”, “Thank you.”, “We build it with the conventions that you”, “guys created in mind so”, “that it's reusable and”, “maintainable so anyone can make PRs and”, “contribute to it.”

Camera: Static

60 · Other · 4:05–4:15

A bespectacled man in a grey button-up shirt sits in a wood-paneled study with bookshelves and a floral curtain, speaking to an off-camera interviewer and gesturing with both hands. White subtitle lines change at the bottom of the locked-off frame, and the shot fades to white at the end.

On-screen text: “contribute to it.”, “We're taking centuries of human mathematical”, “thought, preserving its deepest”, “structures, and making it”, “available to a new generation”, “of intelligences.”

Camera: Static

61 · Outro · 4:15–4:18

On a plain white background, the Axiom logo, a faceted mountain mark in light blue over a black base, fades in beside the word Axiom, then holds static for the rest of the clip.

On-screen text: “Axiom”

Camera: Static