So wait,GPT found a formula that humans couldn't,then the humans proved it was right? That's either terrifying or the model just got lucky. Probably the latter.

▲

JasonADrury 3 hours ago | parent [-]

> found a formula that humans couldn't

Couldn't is an immensely high bar in this context, didn't seems more appropriate and renders this whole thing slightly less exciting.

	▲	vessenes 3 hours ago \| parent [-]
		I'd say "couldn't in 20 hours" might be more defensible. Depends on how many humans though. "couldn't in 20 GPT watt-hours" would give us like 2,000 humans or so.