It's the first time in the history of the world.
In less than ten days, the world of mathematics has experienced the ultimate roller coaster!
On 6 October, OpenAI claimed that AI proved the Prithiman hypothesis.
Mathematician Alex Kontororvin was right when he said:
If anyone feels this achievement, he can certainly get the Feltz Award immediately, without any suspense.
He followed up with no Siegel scores or "two Fields Awards".
Other scholars have also given positive reviews.
This is a life-threatening blow to humanity!
But some didn't give up, they didn't retreat.
Now, with the help of AI, mathematicians are proving some form of generalized Liman conjecture!
A few days later, the news was connected.
The result of this Pre-Rhyman conjecture is an important result of computational complexity:
Burgisser proved Valiant's conjecture: in the multiplication domain, VP! = VNP
Afterwards, three human mathematicians completed the ultimate assassination, completely solving a classic 19-year-old puzzle.
They also left a statement:
In this work, no artificial intelligence tools were used.
No artificial intelligence tools were used in this work.
Humanity regains its right to take actionOn October 6, OpenAI, with no flash of light, no awareness, and their AI like a super-powered turbocharger, violently proved Riman's conjecture.
Mathematician Hector Pasten expresses his astonishment at the results of OpenAI's exclusion of Landau's Siegel zero points and emphasizes that this is "solving the problem" and not just progress.
Some netizens have asked Claude Fable 5.5 to explain the 199-page proof of Freeman's guess in OpenAI, which is highly rated:
This is the first ever fixed area without zero points.
Although this is not the Lyman hypothesis itself, if the claim is true, it is the closest conclusion to the Lyman hypothesis at present.
But if AI can see through even the underlying structures at this level, what value is there for human mathematicians?
Panic is spreading in the mathematical circle.
But the true master will not weep. When he has passed the way, he treads the oil door and rushes forward.
Just six days later, on October 12, a new paper appeared on the pre-print platform Hexagon.
Written by human mathematicians Cureton and Thorner.
They made a bold move, not with empty wounds, but with extremely poisoned eyes:It's all right.
They used the tools of AI to sharpen them directly into a broader, more complex mathematical object.The Hecke L function is finite.。
What is the L function? It is the "ultimate evolutionary version" of the Lyman Zeta function.
In modern mathematics, the phenomenal proof of Fermat's theorem is almost impossible to circumvent.
Cureton and Thorner took advantage of the Pre-Rhyman breakthroughs made by AI, and once again drew an astonishing result:
All finite-order Hecke L functions, on the right-hand side of "1-1/6000", have absolutely no zero points.
I don't understand. It's all right.
Zero points, like a dark reef in the sea.
In the past, the sea was foggy and hard to navigate. Now, two mathematicians use AI radars to force a "safe zone".
There is absolutely no shallow reef in this area.
The security zone was established. The first territory was seized by humans.
But the good stuff is just getting started.
Extreme Madness: From 1/6000 to 1/32The moment 1/6000 appears, the DNA of the global mathematical polarity moves.
It's too small, too conservative.
If the door frames had loosened, why not tear down the walls together?
A marathon of open-source hackers across the globe exploded instantly.
The world's smartest brains, connected via a network, began to push the boundaries of this constant.
This is the bloodiest scene in modern mathematics, and a mass killing has begun.
Logic is ruthlessly streamlined. Mistakes are skewed. Borders are pushed back and forth.
1/1000。1/500。1/100。
The number has shrunk dramatically, like a free fall!
In the end, the whole community stuck the safe boundaries of this "zero-point free zone" to an extremely exaggerated figure:1/32。
The security zone has been enlarged a hundred times!
It's all right, go directly to machine verification!
Open source community moves with the most ruthless arbitratorsLean theorem provers。
It is a dead-end formal verification language. Any slight logical gap can cause a program to crash.
The corresponding proof was generated by the mathematical intelligent body AxiomProver, a formalized Lean proof on open-source Github.
The 1/32 boundary, not only driven by humans, but also established by machine logic.
This is not the only by-product.
A sword in the throat! 19 years of unsolved puzzlesAll the cheerleaders, all the cheerleaders are waiting for this moment.
On the arXiv pre-print platform, a landmark paper, co-signed by Frei, Somos and Widmer, was born.
This academic beach, initiated by OpenAI, finally shattered the hardest of the reefs.
The goal is to lock:In 2007, Ellenberg broke the Venkatesh border.
This is a thorn in the side of algebraic number theory.
In 2007, two mathematical puzzles gave an extremely perfect boundary to the L-torsion.
But it has a deadly flaw:It's conditional.This is the so-called "air tower".
The proof of the two arguments must be based on the premise that "the generalized Liman conjecture (GRH) is established".
It is the first of its kind in the world, and the first of its kind in the world.
For 19 years, countless top scholars have tried to pull the cane out to prove they stood up. All failed because there were no tools.
Until today.
Frei, Somos and Widmer saw the "security zone 1/32" taken by the gang in front of them.
That's the bottom line they've been waiting for for 19 years!
With no hesitation, the three swordsmen took out 88 swords.
They're throwing the latest zero-point regional results into the old equations. The logical chains that had been broken, underpinned by powerful new theories, bite instantly!
This is the story of a young boy who was killed in a plane crash.In 2007, Ellenberg and Venkatesh unconditionally proved the boundary of the L-shaped boundary of the quantum group.
No more assumptions! No more prerequisites! The air tower collapsed and turned into an indestructible steel fortress!
19 years of ghosts, ashes and smoke gone.
A core puzzle of algebraic number theory, which has been meticulously pressed by humans.
He didn't use AI.If the story ends here, it's just an extremely successful academic endeavor.
However, it is the last sentence that makes this paper completely seamless.
At the end of announcing the end of the 19-year-old puzzle, Frey, Somos and Widmer had no qualms about long arguments, no fears about AI.
They only left a cold, humorous statement and a few angry statements:
We declare that no artificial intelligence tools have been used in this work.
It's over.
These words are like a loud thunderbolt, like a thunderbolt.