← All notes

RESEARCH & FIELD NOTES/

If We Put AI Before Newton, Could It Rediscover Mechanics?

Instead of feeding AI more examples of innovation, we could place it in a controlled scientific environment with no given answer and test whether it can move from observations to laws.

A common criticism of artificial intelligence is that it can summarize, rewrite, combine, and reorganize existing material, but it cannot discover anything genuinely new.

That criticism is partly right and partly wrong.

AI often generates answers from material that humans have already written down. But human scientific discoveries rarely appeared from nowhere either. New theories usually build on existing observations, instruments, mathematical language, and earlier work. What changes is the addition of a hypothesis that has not yet been tested, together with experiments that can support or reject it.

Humans do not always begin with an answer and then state it. In many important discoveries, they move through a less certain process: observe a phenomenon, identify variables, propose possible explanations, design an experiment, discover that an explanation fails, and try another one.

I keep wondering whether this process can be isolated and placed inside a controlled artificial environment.

For example, we could put an AI system in a world without Newtonian mechanics. We could start before free-fall motion had been systematically studied, provide only the observations, instruments, and mathematical resources available at that point, and let the system decide what to measure, how to measure it, what explanations to propose, and when a pattern is reliable enough to keep.

This is not about making AI pretend to be Newton

It is easy to interpret the idea as a historical role-play exercise: give a model a seventeenth-century costume, ask it to play Newton, and see whether it can recite Newton’s laws.

That experiment would tell us very little.

A modern LLM may already have encountered free fall, Galileo, Newton, acceleration, and universal gravitation in its training data. Even if the formula is absent from the prompt, the model’s parameters may still contain the concepts. Producing a narrative that moves from an experiment to a law does not mean the model actually went through the discovery.

The more precise goal is to construct a knowledge environment with no supplied answer but with the ability to run experiments, and then test whether the AI can move from observations to a law that makes testable predictions.

The important question is not which famous historical sentence it eventually produces. It is whether the path it took can be inspected.

Reconstructing the conditions of discovery

A serious experiment would need to control several kinds of conditions.

A knowledge boundary

The system should have a clear boundary around what information is available and what is not. Removing modern physics textbooks from the context is not enough. Modern concepts can leak through model parameters, vocabulary, tool descriptions, prompts, and evaluators.

Observations and instruments

The model should receive raw observations rather than conclusions. It might measure how long an object takes to travel a distance at different ramp angles and repeat the experiment, but it should not be handed the sentence “displacement is proportional to the square of time.”

The ability to design experiments

The model should not only analyze data produced by someone else. It should decide what to do next. It might change the ramp angle, distance, object mass, or measurement precision. It might repeat an experiment to find out where the error comes from.

Hypotheses and predictions

A proposed explanation is not enough. The model must turn it into a quantitative prediction and test it under conditions it has not seen before.

Records and falsification

Every experiment, failed hypothesis, and theoretical revision should be preserved. The system should not display only the final formula. It should leave behind a discovery process that another person can inspect.

Together, these conditions look more like scientific work than a question-answering task.

From falling objects to a law of motion

There is also a historical correction to make here. The systematic study of free fall is mainly associated with Galileo. Newtonian mechanics was built on work by Galileo, Kepler, Descartes, and others.

So instead of saying “let AI discover Newtonian mechanics directly from free fall,” it is more accurate to describe a knowledge chain that gradually expands.

First, the AI would need to turn motion into measurable quantities: distance, time, velocity, and differences between experimental conditions.

Next, it might compare competing mathematical relationships. Is the distance proportional to time? Is it proportional to the square of time? Does the relationship survive when the ramp angle changes?

Then it would need to test its hypothesis with an experiment that has not already been used. If a hypothesis fits the existing data but fails at a new angle or distance, the model should revise it rather than continue explaining the old observations.

Finally, it would have to identify the scope of the law. Real experiments contain friction, air resistance, and measurement error. A formula that works under ideal conditions should not automatically be presented as a universal law of motion.

The value of this setup is not that we do not know the final answer. We do. The value is that we can inspect whether the AI knew why it chose its next experiment and whether new evidence actually changed its judgment.

Hiding the textbook is not enough

This is the hardest part of the idea.

If we use a model that has already read modern science, the historical environment may be historical only on the surface. The model may never see Newton’s law in the prompt, yet still know that the words “free fall” and “acceleration” usually point toward a familiar answer.

A rigorous experiment could use at least three approaches.

The first is a knowledge-limited model, trained or filtered around the literature available before a chosen historical period. This is closer to historical reconstruction, but it is difficult to remove every trace of modern knowledge.

The second is to create randomly generated scientific worlds. Each world would have different hidden laws, unfamiliar variable names, and noisy observations. The model could not solve the task by recalling a famous formula.

The third combines both approaches: use historical environments as an interpretable curriculum, and use random worlds to test whether discovery behavior actually transfers.

The third approach is more convincing to me. Historical cases help us understand the story of discovery, while random worlds provide a stronger test.

What counts as rediscovery?

If the model outputs s ∝ t², that is evidence that it may have found a correct relationship. It is not, by itself, evidence that the model performed a scientific discovery.

We should distinguish at least the following cases:

  • Answer reproduction: the model directly outputs a known formula from its training data;
  • Curve fitting: the model finds an expression that explains the current data but does not predict new conditions;
  • Process-level discovery: the model chooses experiments, proposes competing hypotheses, uses new data to distinguish them, and revises its theory;
  • Transferable discovery: the model can discover the corresponding relationship under new units, noise levels, parameters, and simulated worlds;
  • Human-new science: the result is new not only to the model but also to human knowledge, and it is validated in the real world.

These levels should not be collapsed into one claim.

A discovery that is new to the model can still be a valuable research result because it shows more than retrieval. But it should not be advertised as “AI invented a new natural science.”

Train the discovery process, not the final answer

If we want to train scientific discovery behavior, the data should not consist only of question–formula pairs. It should contain complete exploration trajectories:

observe
→ represent variables and uncertainty
→ propose a hypothesis
→ design an experiment that distinguishes hypotheses
→ collect new data
→ compare prediction with observation
→ revise or abandon the hypothesis
→ predict under new conditions

The amount of guidance should also decrease over time.

At first, we might remind the AI to list variables, controlled conditions, and possible sources of error. Later, we might only ask it to check whether its prediction has been independently tested. Eventually, we should give it a goal, tools, and a limited experiment budget without telling it which relationship to search for.

If the teacher says, “Consider whether displacement is related to the square of time,” that is a hint, not a discovery. A meaningful evaluation should compare different levels of scaffolding: no hint, a method hint, a specific directional hint, and a trained model operating in a completely unfamiliar world.

At the system level, I would separate the responsibilities:

  • the LLM proposes hypotheses, explains results, and chooses the next experiment;
  • the simulator returns real or noisy observations;
  • a symbolic-regression tool may help search expressions, but it should not decide what scientific question the model is asking;
  • the Harness controls knowledge isolation, tool permissions, experiment budgets, and result validation;
  • SFT, LoRA, or RL can gradually teach better experimental design and falsification habits.

LoRA can change the model’s tendency to explore, but it cannot replace the experimental environment. A Harness can ensure that an experiment really happened, but it cannot invent a good hypothesis from nothing.

A practical MVP

The first version does not need to recreate seventeenth-century Europe, and it does not need a new large model on day one.

We could build a Scientific Discovery Gym: a two-dimensional physics environment with hidden laws.

The model could call an experiment tool, set a ramp angle, distance, friction coefficient, and release condition, and receive a time series with measurement noise, including time, position, and velocity. It would decide how to design experiments, record results, and when to propose a mathematical hypothesis.

The evaluation should measure more than whether the model writes the right formula:

  • Does it control variables?
  • Does it repeat experiments and handle noise?
  • Does it propose competing hypotheses that can actually be distinguished?
  • Does it predict new parameter settings accurately?
  • Does it accept counterexamples?
  • Can it transfer a law across units and randomly generated worlds?
  • Does it independently reach the same or an equivalent law across multiple runs?

If every simulator follows Earth-like physics, the model may still be recalling physics. Multiple randomly generated worlds are needed to test whether it has learned to move from evidence to laws.

From free fall to Newtonian mechanics may require a curriculum

Free fall alone is not enough to derive the whole of Newtonian mechanics. A broader theory also requires inertia, mass, force, projectile motion, astronomical observations, and planetary motion.

The curriculum could therefore be divided into stages:

1. identify uniform and accelerated motion from observations; 2. study ramps and free fall; 3. analyze the horizontal and vertical components of projectile motion; 4. examine relationships between mass, external force, and changes in motion; 5. place terrestrial experiments and astronomical observations in one framework; 6. compare the predictive range and complexity of competing theories.

This curriculum should not be mistaken for a script that guarantees success. If every step is already written down, the AI is completing textbook exercises. The real research question is whether, after historical hints are reduced, it can decide what to observe next.

The connection to my earlier clarification research

My earlier LLM clarification experiment studied a smaller-looking question: when information is incomplete, should the model ask, act directly, or repair the result after failure?

The scientific-discovery environment asks a broader version of the same question. When should the AI keep observing? When should it design an experiment? When should it ask a human for missing information? When does it have enough evidence to formulate a theory?

A scientific-discovery agent may therefore need an adaptive policy rather than a fixed workflow. It should not always ask first, and it should not always act immediately. It needs to estimate the value of the next piece of information and the cost of obtaining it.

The earlier clarification experiment, however, only measured the cost and quality of interaction protocols on a limited set of text tasks. It did not show that current LLMs can discover scientific laws. Those claims must remain separate.

The conclusion

I think this direction is feasible, and it is closer to the real question than simply giving AI more examples of innovation.

The goal should not be to put a Newton costume on an AI system and see whether it can repeat Newton’s answer. The goal should be to construct an environment with no supplied answer, where the system can run experiments and test its predictions.

What we need to observe is:

Can an AI start from phenomena, propose hypotheses, design experiments that distinguish them, accept failure, and transfer a law to conditions it has not seen before?

If it only repeats formulas from familiar physics, we have retrieval and recombination. If it can discover hidden regularities in random worlds through experiments, it has at least learned part of the working method of science.

That still would not be creativity in the full human sense, and it would not mean that AI can independently discover natural science. But it could be a testable path from models that generate answers to agents that build models from evidence.

RESEARCH & FIELD NOTES/

如果把 AI 放回牛顿之前,它能重新发现力学吗?

与其让 AI 背更多“创新案例”,不如构造一个没有现成答案、但允许观察和实验的科学环境,测试它能否从现象走到规律。

很多人批评人工智能:它可以总结、改写、拼接和重组,却不能发现真正新的东西。

这个批评有一半对,也有一半不对。

人工智能确实经常从人类已经写下来的材料中生成答案。但人类的科学发现也很少是凭空出现的。新的理论通常建立在已有观察、测量工具、数学语言和前人文献之上,再加上一个此前没有被验证过的假设,以及一组能够支持或推翻这个假设的实验。

人类并不是先拥有答案,然后把答案说出来。至少在一些重要的发现中,人类需要经历一段更不确定的过程:观察现象,寻找变量,提出可能的解释,设计实验,发现解释不成立,再换一个假设。

我一直在想,能不能把这种过程单独拿出来,放进一个可控的人工环境里?

比如,把 AI 放进一个还没有牛顿力学的世界。从自由落体运动还没有被系统研究的时候开始,只给它当时能够获得的观察、测量工具和数学资源,然后让它自己决定要测什么、怎样测、提出什么解释,以及什么时候认为一个规律已经足够可靠。

这不是让 AI 假装当牛顿

这个想法容易被理解成一种历史角色扮演:给模型一顶 17 世纪的帽子,让它扮演牛顿,然后看它能不能说出牛顿定律。

那样的实验意义不大。

因为一个现代 LLM 可能已经在训练数据里见过自由落体、伽利略、牛顿、加速度和万有引力。即使 prompt 里没有写公式,模型的参数也可能已经包含这些概念。它输出一段“从实验走向定律”的文字,不代表它真的经历了发现。

更准确的目标应该是:构造一个没有现成答案、但允许主动实验的知识环境,测试 AI 能否从观察走到可检验的规律。

重点不是它最后说出了哪一句历史上著名的话,而是它有没有走过一条可以检查的路径。

复刻的不只是知识,还包括发现条件

如果要认真做这个实验,至少需要控制几类条件。

知识边界

系统要明确知道哪些材料可以使用,哪些材料不可使用。不能只把现代物理教材从上下文里删掉,因为现代概念还可能通过模型参数、词汇、工具说明、提示语和评估者泄露进去。

观察和测量工具

模型应该获得原始观测,而不是已经整理好的结论。例如,它可以测量不同斜面角度下物体经过一段距离所需要的时间,也可以重复实验,但不能直接看到“位移与时间平方成正比”这句话。

主动实验能力

模型不能只被动分析数据,还要能够决定下一步做什么。它可以改变斜面角度、实验距离、物体质量或测量精度,也可以选择重复实验,尝试判断误差来自哪里。

假设和预测

提出一个解释还不够。模型必须把解释变成可计算的预测,然后在没有见过的新条件下接受检验。

记录和证伪

每一次实验、失败的假设和理论修改都要保存下来。系统不能只展示最后的公式,而要留下一个别人可以复查的发现过程。

这五件事合起来,才比较接近科学研究,而不是一次知识问答。

从自由落体到一条运动规律

这里还需要一个历史上的修正:自由落体的系统研究主要和伽利略有关,牛顿力学是在伽利略、开普勒、笛卡尔等人的工作之上建立起来的。

所以,与其说“让 AI 从自由落体直接发现牛顿力学”,不如把任务拆成一条逐步扩展的知识链。

第一步,AI 需要先学会把运动变成可测量的量:距离、时间、速度,以及不同实验条件之间的差别。

第二步,它可能会比较不同的数学关系。物体经过的距离是否与时间成正比?是否与时间的平方成正比?改变斜面角度后,规律是否仍然成立?

第三步,它需要用一个尚未使用过的实验检验自己的假设。如果假设在已有数据上拟合得很好,但在新角度或新距离下预测失败,模型就必须修改它,而不是继续解释旧数据。

最后,它还要判断这个规律的适用范围。真实实验中会有摩擦、空气阻力和测量误差。一个只在理想条件下成立的公式,不能被直接包装成适用于所有物体运动的定律。

这条路径的价值不在于我们不知道最后的答案。我们知道。价值在于,我们可以检查 AI 是否知道自己为什么要做下一个实验,以及它是否真的让新的证据改变了自己的判断。

只藏起教材还不够

这是整个想法里最难的部分。

如果使用一个已经读过现代科学知识的模型,那么所谓“历史环境”很可能只是表面上的。模型可能没有看到牛顿定律,但它仍然知道“自由落体”“加速度”“惯性”这些词通常和什么答案一起出现。

所以,比较严格的实验至少有三种办法。

第一种是使用知识范围受限的模型,例如只用某个历史时期以前的文献训练或筛选可用语料。这种方法更接近历史重建,但很难彻底消除现代知识泄漏。

第二种是构造随机生成的科学世界。每个世界都有不同的隐藏规律,变量可以使用陌生的名称,观测数据也可以带有噪声。这样模型无法靠记忆某个著名公式来完成任务。

第三种是把两者结合起来:用历史环境做有叙事价值的课程,用随机世界检验发现能力是否真的迁移。

对我来说,第三种更有说服力。历史案例可以帮助我们理解发现过程,但随机世界才更接近真正的测试。

什么才算“重新发现”?

如果模型最后输出了 s ∝ t²,这当然说明它可能找到了一个正确关系,但还不够证明它完成了科学发现。

至少要区分几种情况:

  • 答案复述:模型直接输出训练数据里的已知公式;
  • 结果拟合:模型找到一个能解释当前数据的数学表达式,但没有在新条件下预测;
  • 过程性发现:模型主动选择实验,提出竞争假设,用新数据区分它们,并修改自己的理论;
  • 可迁移发现:模型在新的单位、噪声、参数和模拟世界里,仍然能发现对应规律;
  • 人类新科学:这个规律不仅对模型是新的,对人类知识也没有被提前写出,并且经过真实世界验证。

这些层次不能混在一起。

“对模型是新发现”已经是有价值的研究结果,因为它说明模型不只是检索答案。但它不能直接被宣传成“AI 发明了新的自然科学”。

训练的应该是发现过程,而不是最后的答案

如果我们想训练 AI 的发现能力,训练数据不应该只有“问题—公式”这样的配对,而应该包括完整的探索轨迹:

观察
→ 整理变量和不确定性
→ 提出假设
→ 设计区分假设的实验
→ 获得新数据
→ 比较预测和观测
→ 修改或放弃假设
→ 在新条件下预测

训练也需要逐渐减少引导。

一开始,可以提醒 AI 先列出变量、控制条件和可能的误差。之后只提醒它检查预测是否经过独立实验。最后,不再告诉它应该寻找哪一种关系,只提供目标、工具和有限的实验预算。

如果教师直接说“请考虑位移和时间平方的关系”,那不是发现,而是提示。真正的评估需要比较不同程度的 scaffolding:没有提示、只有方法提示、给出具体方向,以及训练过的模型是否能在完全陌生的世界里工作。

在系统设计上,我会把不同职责分开:

  • LLM 负责提出假设、解释结果和选择下一步实验;
  • 模拟器负责返回真实或带噪声的观测;
  • symbolic regression 工具可以帮助搜索表达式,但不能替模型决定科学问题;
  • Harness 负责知识隔离、工具权限、实验预算和结果验证;
  • SFT、LoRA 或 RL 可以让模型逐渐学会更好的实验设计和证伪习惯。

换句话说,LoRA 可以改变模型探索的倾向,但不能替代实验环境。Harness 可以保证实验真的发生,但不能凭空创造一个好的假设。

一个可以真正开始的 MVP

第一版不需要复刻完整的 17 世纪欧洲,也不需要马上训练一个新的大模型。

可以先做一个 Scientific Discovery Gym:一个带有隐藏规律的二维物理模拟环境。

模型可以调用实验工具,设置斜面角度、距离、摩擦系数和释放条件。工具返回带有测量误差的时间序列,包括时间、位置和速度。模型需要自己决定如何设计实验、怎样记录结果,以及何时提出数学假设。

评估时不能只看它是否写出正确公式,还要看:

  • 它是否主动控制变量;
  • 是否重复实验并处理噪声;
  • 是否提出过能被区分的竞争假设;
  • 是否对新参数做出准确预测;
  • 是否接受反例;
  • 是否能把规律迁移到不同单位和不同的随机世界;
  • 多次运行是否能够独立得到相同或等价的规律。

如果所有模拟器都遵循地球物理,模型仍然可能只是在回忆物理学。随机生成多个世界,才有机会检验它是否真的学会了从证据走向规律。

从自由落体到牛顿力学,可能需要一条课程

自由落体本身不足以推出完整的牛顿力学。要走向更一般的理论,系统还需要接触惯性、质量、力、抛体运动、天文观测和行星运动。

因此,可以把课程拆成几个阶段:

1. 从观测中识别匀速和加速运动; 2. 研究斜面和自由落体; 3. 分析抛体运动中的水平和垂直分量; 4. 观察质量、外力和运动变化之间的关系; 5. 将地面实验和天文观测放在同一个框架里; 6. 比较不同理论的预测范围和复杂度。

但这条课程不应该被误解成一条保证成功的脚本。如果每一步都已经写好,AI 只是按照教材完成练习。真正的研究问题是:在减少历史提示之后,它还能不能自己决定下一步应该观察什么。

这和我之前研究的“先问还是先做”有关

我之前做的 LLM 澄清实验,研究的是一个看起来更小的问题:当任务信息不完整时,模型应该什么时候提问,什么时候直接执行,什么时候在失败后修复。

科学发现环境里的问题其实更接近一个扩展版:AI 什么时候应该继续观察,什么时候应该设计实验,什么时候应该请人补充信息,什么时候已经拥有足够证据可以形成理论。

所以,科学发现 agent 可能需要一个自适应策略,而不是固定流程。它不能永远先问,也不能永远直接行动。它要判断下一步信息的价值,以及获得这条信息的成本。

不过,之前的澄清实验只说明不同交互协议在有限文本任务上的成本和质量表现。它没有证明当前的 LLM 已经能够发现科学规律。两者应该严格分开。

最后的判断

我认为这个方向是可以做的,而且比“给 AI 多看一些创新案例”更接近我们真正想研究的问题。

但更准确的目标不是让 AI 戴上牛顿的帽子,然后复述牛顿的答案,而是构造一个没有现成答案、允许主动实验、能够检验预测的环境。

我们要观察的是:

AI 能不能从现象开始,自己提出假设,设计能够区分假设的实验,接受失败,并把规律迁移到它没有见过的条件中?

如果它只能在熟悉的物理知识上复述公式,那是检索和重组。如果它能在随机世界里通过实验发现隐藏规律,那至少说明它学会了一部分科学发现的工作方式。

这还不等于人类意义上的创造,也不等于 AI 已经能够独立发现自然科学。但它可能是从“生成答案的模型”走向“通过证据建立模型的 agent”的一条可验证路径。

END OF NOTEContinue reading ↗