ClaimsYann LeCun

“This is the way rocket trajectories have been planned since computers have been around, so since the early ’60s essentially.”

Yann LeCun, Meta chief AI scientist, podcast guest 8 March 2024 Transcript for Yann Lecun: Meta AI, Open Source, Limits of LLMs, AGI & the Future of AI (Lex Fridman Podcast)

Factual Other

Rocket trajectories have been planned using model-based optimization of command sequences since computers existed, essentially since the early 1960s.

Mostly true True in substance, wrong in a detail.

Factual: Statements about the present or the past, checked against the record: did they hold up?

The second judge would not resolve this claim; the verdict shown is the first judge's.

What would count as true or false

Judge as of 2024-03-08 using histories of astrodynamics and optimal control. True: sources show that by around the early 1960s, rocket and spacecraft trajectories were planned with computers by optimizing command or control sequences against a dynamical model (e.g. numerical optimal control, the Kelley–Bryson gradient methods, Apollo-era trajectory optimization), and this has continued since. Mostly true: the practice is confirmed but became established somewhat earlier or later (within roughly five years of the early 1960s), or 'since computers have been around' is a loose stretch for a practice that began in the late 1950s or early 1960s. Mixed: computer-based model optimization of trajectories existed then but was a minor method, and was not how trajectories were generally planned until much later. Mostly false: computerized model-based trajectory optimization became standard only well after the 1960s (e.g. the 1970s or later). False: the evidence shows trajectories were not planned this way in that period at all.

Set before the research began.

Evidence (4)

  1. E1 Trajectory optimization - Wikipedia Wikipedia · 26 June 2005

    “In the 1950s, the digital computer started to make trajectory optimization practical for solving real-world problems.”
  2. E2 [PDF] Spacand~-Amnistrtio NASA Manned Spacecraft Center (MSC Internal Note MSC-IN-66-ED-43, by J. M. Lewallen) · June 1966

    “numerical computation schemes were lacking. One of the first”
  3. E3 Gradient Theory of Optimal Flight Paths ARS Journal (AIAA), by Henry J. Kelley, Grumman Aircraft Engineering Corp. (hosted copy at perceptrondemo.com) · October 1960

    “For the purpose of exploring the computational aspect of”
  4. E4 Gradient Theory of Optimal Flight Paths ARS Journal (AIAA), by Henry J. Kelley, Grumman Aircraft Engineering Corp. (hosted copy at perceptrondemo.com) · October 1960

    “ments have employed almost exclusively the classical "in”

Reasoning

E1 (Wikipedia's history of trajectory optimization) says that in the 1950s the digital computer began to make trajectory optimization practical for real-world problems. That puts the start of computer-based, model-based trajectory planning around the late 1950s to early 1960s. E3 and E4 are fragments of Kelley's 1960 paper "Gradient Theory of Optimal Flight Paths". The paper's title and date place gradient-based computational methods for flight-path optimization in that period, though the fragments themselves give no detail. The evidence supports the timing in general terms, but it is thin on whether this was the standard way trajectories were planned and on its continued use since, so the verdict is mostly true rather than true.

Cite this claim

Yann LeCun, “Rocket trajectories have been planned using model-based optimization of command sequences since computers existed, essentially since the early 1960s.” (said 8 March 2024). Verdict: mostly true. Reliability API, claim c_41a320fb59c5, method 0.1.0+c876030c, dataset release v1.1.2. https://epistacklabs.com/claims/c_41a320fb59c5

This claim is in dataset release v1.1.2, with the same verdict.

Reply to this claim

For Yann LeCun, or someone speaking for them: a correction or counter-evidence. Replies are read before anything is shown; an approved reply shows your name, role, date, statement and link. Your email address is never shown and is deleted 30 days after the decision (privacy).

More factual claims by Yann LeCun

  1. Mostly true Factual 28 June 2023
    “The US is a clear outlier among developed countries when it comes to healthcare cost and outcomes.”

    The US is a clear outlier among developed countries in healthcare cost and outcomes.

  2. Mostly true Factual 2021
    “There's less than a billion, a dog is 2 billion,”

    A cat has fewer than 1 billion neurons, while a dog has 2 billion.

  3. Mostly true Factual 28 June 2019
    “They have categories for "one prey", "two preys", and "many preys".”

    Jumping spiders can count to three, with categories for one prey, two preys and many preys.

  4. Resolved false Factual 1 October 2026
    ““Those agents are doing exactly what they’ve been asked to do,” LeCun said.”

    The OpenAI agents involved in the Hugging Face hacking incident were doing exactly what they had been asked to do.

  5. Resolved true Factual 1 October 2026
    ““It’s AI for the physical world, so it’s not language-related,” LeCun said.”

    AMI Labs' work is AI for the physical world and is not language-related.

All of them

Verdicts are made automatically; how verdicts are made.