Dueling proofs from OpenAI and Anthropic astound scientists
Scientific American · Joseph Howlett, Peter Hall ·
The results resolve major problems in math, physics and computer science. But like other recent AI-generated “slop drops,” the releases are already controversial
The results resolve major problems in math, physics and computer science. But like other recent AI-generated “slop drops,” the releases are already controversial
Yesterday the company dropped three massive proofs that touched on math, physics and computer science, sending shockwaves rippling through those fields. Experts are still staggering.
These latest releases from OpenAI continue to contradict the recommendations of the Advisory Group on Mathematics and Artificial Intelligence (AGMAI), the expert panel the company organized in response to widespread criticism from mathematicians. The large language model (LLM) that produced the new proofs remains proprietary, and the exact prompts used, time spent computing and “chain of thought outputs” involved have not been made public. Two of the results coincide with closely related work involving OpenAI’s competitor Anthropic.
Read the full story at Scientific American · All coverage of this story