Unlike scientific experimentation, coding and mathematics can present the relevant reasoning context—such as axioms, corollaries, functions, and API calls—to a human or an LLM.

“And this is very different than coding or math.”

“When you're doing math or coding, all the context could be available to the human or the LLM. It's a bunch of axioms, some corollaries people have derived from them.”

“It's a bunch of like functions and API calls.”

“So everything you need to reason through is available to you. And then you just have to be very smart and figure it out.”