NederlandsTopic
#Wiskunde
-
Ten AI agents deliver a computer-checked proof for a puzzle with seven electrons in fifteen hours
The company Vals AI had ten AI agents write a proof in fifteen hours for a puzzle more than a hundred years old: how seven electrons arrange themselves on a sphere. A computer checked every step. The next step is a review by mathematicians.
-
AI agents turn the longest mathematical proof ever into checkable code in 24 days
The American company Axiom Math had dozens of AI agents turn the proof of 'the enormous theorem' about symmetry, some 15,000 pages, into code a computer can check. Along the way they found 34 deviations in the published work, which have now been repaired.
-
Anthropic: Claude also disproves a conjecture about computing time that is almost thirty years old
Anthropic says an internal Claude model found a faster way to solve a famous computing puzzle on its own. OpenAI reported the same result shortly before, as one of its three AI breakthroughs. A computer has already checked the proof; mathematicians are now looking at whether it holds.
-
No need to take the AI's word for it: Claude delivers a mathematical proof for software
How do you know whether an AI's work is sound if nobody can read it all? Anthropic has Claude supply a mathematical proof that a small program checks step by step. This way Claude examined 123 widely used software building blocks and found hundreds of hidden bugs.
-
Is AI just a remix machine? Mathematicians debate the rubber band around all knowledge
Now that AI finds mathematical proofs on its own, scientists are debating: is that truly new work, or clever combining of what was already known? An image of nails and a rubber band sharpens the question. According to an economist, that very combining holds the next big leap for all of science.
-
OpenAI publishes 719 mathematical manuscripts from a not-yet-released AI model
OpenAI has published 719 mathematical manuscripts on GitHub, produced by an unreleased internal model. According to the advisory group AGMAI, they contain solutions to 'hundreds' of open questions. Independent review has yet to begin.
