Five years ago, mathematicians Dawei Chen and Quentin Gendron were trying to untangle a difficult area of algebraic geometry involving differentials, elements of calculus used to measure distance along curved surfaces. While working on one theorem, they ran into an unexpected roadblock: Their argument depended on a strange formula from number theory, but they were unable to solve or justify it. In the end, Chen and Gendron wrote a paper presenting their idea as a conjecture, rather than a theorem.
Chen recently spent hours prompting ChatGPT in the hopes of getting the AI to come up with a solution to the still unsolved problem, but it wasn’t working. Then, during a reception at a math conference in Washington, DC, last month, Chen ran into Ken Ono, a well-known mathematician who had recently left his job at the University of Virginia to join Axiom, an artificial intelligence startup cofounded by one of his mentees, Carina Hong.
Chen told Ono about the problem, and the following morning, Ono presented him with a proof, courtesy of his startup’s math-solving AI, AxiomProver. “Everything fell into place naturally after that,” says Chen, who worked with Axiom to write up the proof, which has now been posted to arXiv, a public repository for academic papers.
Axiom’s AI tool found a connection between the problem and a numerical phenomenon first studied in the 19th century. It then devised a proof, which it helpfully verified itself. “What AxiomProver found was something that all the humans had missed,” Ono tells WIRED.
The proof is one of several solutions to unsolved math problems that Axiom says its system has come up with in recent weeks. The AI has not yet solved any of the most famous (or lucrative) problems in the field of mathematics, but it has found answers to questions that have stumped experts in different areas for years. The proofs are evidence of AI’s steadily advancing math abilities. In recent months, other mathematicians have reported using AI tools to explore new ideas and solve existing problems.
The techniques being developed by Axiom may prove useful outside the world of advanced math. For example, the same approaches could be used to develop software that is more resilient to certain kinds of cybersecurity attacks. This would involve using AI to verify that code is provably reliable and trustworthy.
“Math is really the great test ground and sandbox for reality,” says Hong, Axiom’s CEO. “We do believe that there are a lot of pretty important use cases of high commercial value.”
Axiom’s approach involves combining large language models with a proprietary AI system called AxiomProver that is trained to reason through math problems to reach solutions that are provably correct. In 2024, Google demonstrated a similar idea with a system called AlphaProof. Hong says that AxiomSolver incorporates several significant advances and newer techniques.
Ono says the AI-generated proof for the Chen-Gendron conjecture shows how AI can now meaningfully assist professional mathematicians. “This is a new paradigm for proving theorems,” he says.
Axiom’s system is more than just a regular AI model, in that it is able to verify proofs using a specialized mathematical language called Lean. Rather than just search through the literature, this allows AxiomProver to develop genuinely novel ways of solving problems.
Another one of the new proofs generated by AxiomProver demonstrates how the AI is capable of solving math problems entirely on its own. That proof, which has also been described in a paper posted to arXiv, provides a solution to Fel’s Conjecture, which concerns syzygies, or mathematical expressions where numbers line up in algebra. Remarkably, the conjecture involves formulas first found in the notebook of legendary Indian mathematician Srinivasa Ramanujan more than 100 years ago. In this case AxiomProver did not just fill in a missing piece of the puzzle, it devised the proof from start to finish.
Source link
#Math #Startup #Cracked #Previously #Unsolved #Problems
![‘Lee Cronin’s The Mummy’ Originally Had a Much Bleaker Ending
Lee Cronin’s The Mummy wasn’t our favorite mummy movie, but it did have some recommendable qualities, including its high levels of gruesome gore. We also approved of the ending, which offered a satisfying twist to the agony that came before. And while The Mummy‘s test screenings were targeted by some since-debunked negative rumors (look, James Wan just wanted more snacks, that’s all!), apparently those same early showings helped writer-director Cronin figure out that all-important final note for his film. Star Jack Reynor talked about the original ending and the changes that were made, and we’ll add one of these in case you haven’t yet seen Lee Cronin’s The Mummy. At the end of Lee Cronin’s The Mummy, the characters have all realized that young Katie is possessed by a ferocious demon. She was kidnapped years earlier by her friend’s mother, a character the film calls “the Magician,” for the sole purpose of becoming the next containment vessel for this demon over a period of years.
The sarcophagus and wrappings covered in ancient writing she’s entombed in are meant to trap the demon as part of an obligation upheld by the Magician’s family for generations upon generations. The demon starts to escape when the sarcophagus is moved out of necessity from the Magician’s farm. Instead of relocating safely, the sarcophagus breaks open in a plane crash, and Katie—still alive, albeit mummified and barely clinging to her human soul—is sent from Egypt to New Mexico to reunite with her surprised and thankful mother, father, and two siblings.
The bulk of Lee Cronin’s The Mummy follows the creature formerly known as Katie causing horrifying, escalating chaos, while an Egyptian detective pokes into the case overseas, and Katie’s father, Charlie, played by Reynor, does his own research in a desperate attempt to figure out what’s wrong with his daughter.
At the end of the movie, the detective comes to New Mexico and helps Charlie manipulate the demon into leaping out of Katie and into Charlie. He saves his daughter, but dooms himself. That’s where the movie ended originally, apparently. The version that made it into theaters has an additional scene where the Magician, who’s been jailed for kidnapping Katie, gets a visit from a mummified Charlie. Again with the detective’s help, the demon makes another leap between bodies—this time, freeing Charlie and taking over the Magician’s soul instead.
That was a reshoot, Reynor told the Hollywood Reporter. “We came back and picked it up, which was cool because it was the one day where I actually got to be the Mummy. It’s fun to get into the makeup and get to be part of that legacy,” Reynor said, name-checking the Boris Karloff and Christopher Lee versions of the character. Even beyond becoming part of horror history, though, he understood the reason for the change.
“You make these decisions because you want to give the audience what they want, and I understand that. Is it a better movie, objectively speaking? I don’t know. I did like Lee’s original ending,” Reynor admitted. “But I also understand that if I went to see that movie with my teenage kids and they were bummed out because it was so fucking bleak at the end, maybe I’d be [more in favor of the new ending]. So I get it both ways. I see the merits of both for different reasons.” The new ending is cathartic; after all, the Magician was the one who singled Katie out for years of unimaginable torture, not to mention inflicting torment on her family. She deserves some payback other than prison time. But it also left another lingering question: what happens next?
The Magician was the person in charge of handing down the knowledge of how to contain the demon to the next generation. Now that she’s become its current vessel, who will be keeping an eye out? Presumably, that burden now transfers to her only surviving child—a girl around Katie’s age—who’ll have to select a new innocent victim someday and perform the same ritual once her mother’s body starts to break down. We probably won’t get another Lee Cronin’s The Mummy to explore that further, but thinking about it too much does make the new ending a little less suffused with the gleeful spirit of revenge. Want more io9 news? Check out when to expect the latest Marvel, Star Wars, and Star Trek releases, what’s next for the DC Universe on film and TV, and everything you need to know about the future of Doctor Who. #Lee #Cronins #Mummy #Originally #BleakerJack Reynor,Lee Cronin’s The Mummy](https://gizmodo.com/app/uploads/2025/09/io9-2025-spoiler.png "‘Lee Cronin’s The Mummy’ Originally Had a Much Bleaker Ending
Lee Cronin’s The Mummy wasn’t our favorite mummy movie, but it did have some recommendable qualities, including its high levels of gruesome gore. We also approved of the ending, which offered a satisfying twist to the agony that came before. And while The Mummy‘s test screenings were targeted by some since-debunked negative rumors (look, James Wan just wanted more snacks, that’s all!), apparently those same early showings helped writer-director Cronin figure out that all-important final note for his film. Star Jack Reynor talked about the original ending and the changes that were made, and we’ll add one of these in case you haven’t yet seen Lee Cronin’s The Mummy. At the end of Lee Cronin’s The Mummy, the characters have all realized that young Katie is possessed by a ferocious demon. She was kidnapped years earlier by her friend’s mother, a character the film calls “the Magician,” for the sole purpose of becoming the next containment vessel for this demon over a period of years.
The sarcophagus and wrappings covered in ancient writing she’s entombed in are meant to trap the demon as part of an obligation upheld by the Magician’s family for generations upon generations. The demon starts to escape when the sarcophagus is moved out of necessity from the Magician’s farm. Instead of relocating safely, the sarcophagus breaks open in a plane crash, and Katie—still alive, albeit mummified and barely clinging to her human soul—is sent from Egypt to New Mexico to reunite with her surprised and thankful mother, father, and two siblings.
The bulk of Lee Cronin’s The Mummy follows the creature formerly known as Katie causing horrifying, escalating chaos, while an Egyptian detective pokes into the case overseas, and Katie’s father, Charlie, played by Reynor, does his own research in a desperate attempt to figure out what’s wrong with his daughter.
At the end of the movie, the detective comes to New Mexico and helps Charlie manipulate the demon into leaping out of Katie and into Charlie. He saves his daughter, but dooms himself. That’s where the movie ended originally, apparently. The version that made it into theaters has an additional scene where the Magician, who’s been jailed for kidnapping Katie, gets a visit from a mummified Charlie. Again with the detective’s help, the demon makes another leap between bodies—this time, freeing Charlie and taking over the Magician’s soul instead.
That was a reshoot, Reynor told the Hollywood Reporter. “We came back and picked it up, which was cool because it was the one day where I actually got to be the Mummy. It’s fun to get into the makeup and get to be part of that legacy,” Reynor said, name-checking the Boris Karloff and Christopher Lee versions of the character. Even beyond becoming part of horror history, though, he understood the reason for the change.
“You make these decisions because you want to give the audience what they want, and I understand that. Is it a better movie, objectively speaking? I don’t know. I did like Lee’s original ending,” Reynor admitted. “But I also understand that if I went to see that movie with my teenage kids and they were bummed out because it was so fucking bleak at the end, maybe I’d be [more in favor of the new ending]. So I get it both ways. I see the merits of both for different reasons.” The new ending is cathartic; after all, the Magician was the one who singled Katie out for years of unimaginable torture, not to mention inflicting torment on her family. She deserves some payback other than prison time. But it also left another lingering question: what happens next?
The Magician was the person in charge of handing down the knowledge of how to contain the demon to the next generation. Now that she’s become its current vessel, who will be keeping an eye out? Presumably, that burden now transfers to her only surviving child—a girl around Katie’s age—who’ll have to select a new innocent victim someday and perform the same ritual once her mother’s body starts to break down. We probably won’t get another Lee Cronin’s The Mummy to explore that further, but thinking about it too much does make the new ending a little less suffused with the gleeful spirit of revenge. Want more io9 news? Check out when to expect the latest Marvel, Star Wars, and Star Trek releases, what’s next for the DC Universe on film and TV, and everything you need to know about the future of Doctor Who. #Lee #Cronins #Mummy #Originally #BleakerJack Reynor,Lee Cronin’s The Mummy")
![‘Lee Cronin’s The Mummy’ Originally Had a Much Bleaker Ending
Lee Cronin’s The Mummy wasn’t our favorite mummy movie, but it did have some recommendable qualities, including its high levels of gruesome gore. We also approved of the ending, which offered a satisfying twist to the agony that came before. And while The Mummy‘s test screenings were targeted by some since-debunked negative rumors (look, James Wan just wanted more snacks, that’s all!), apparently those same early showings helped writer-director Cronin figure out that all-important final note for his film. Star Jack Reynor talked about the original ending and the changes that were made, and we’ll add one of these in case you haven’t yet seen Lee Cronin’s The Mummy. At the end of Lee Cronin’s The Mummy, the characters have all realized that young Katie is possessed by a ferocious demon. She was kidnapped years earlier by her friend’s mother, a character the film calls “the Magician,” for the sole purpose of becoming the next containment vessel for this demon over a period of years.
The sarcophagus and wrappings covered in ancient writing she’s entombed in are meant to trap the demon as part of an obligation upheld by the Magician’s family for generations upon generations. The demon starts to escape when the sarcophagus is moved out of necessity from the Magician’s farm. Instead of relocating safely, the sarcophagus breaks open in a plane crash, and Katie—still alive, albeit mummified and barely clinging to her human soul—is sent from Egypt to New Mexico to reunite with her surprised and thankful mother, father, and two siblings.
The bulk of Lee Cronin’s The Mummy follows the creature formerly known as Katie causing horrifying, escalating chaos, while an Egyptian detective pokes into the case overseas, and Katie’s father, Charlie, played by Reynor, does his own research in a desperate attempt to figure out what’s wrong with his daughter.
At the end of the movie, the detective comes to New Mexico and helps Charlie manipulate the demon into leaping out of Katie and into Charlie. He saves his daughter, but dooms himself. That’s where the movie ended originally, apparently. The version that made it into theaters has an additional scene where the Magician, who’s been jailed for kidnapping Katie, gets a visit from a mummified Charlie. Again with the detective’s help, the demon makes another leap between bodies—this time, freeing Charlie and taking over the Magician’s soul instead.
That was a reshoot, Reynor told the Hollywood Reporter. “We came back and picked it up, which was cool because it was the one day where I actually got to be the Mummy. It’s fun to get into the makeup and get to be part of that legacy,” Reynor said, name-checking the Boris Karloff and Christopher Lee versions of the character. Even beyond becoming part of horror history, though, he understood the reason for the change.
“You make these decisions because you want to give the audience what they want, and I understand that. Is it a better movie, objectively speaking? I don’t know. I did like Lee’s original ending,” Reynor admitted. “But I also understand that if I went to see that movie with my teenage kids and they were bummed out because it was so fucking bleak at the end, maybe I’d be [more in favor of the new ending]. So I get it both ways. I see the merits of both for different reasons.” The new ending is cathartic; after all, the Magician was the one who singled Katie out for years of unimaginable torture, not to mention inflicting torment on her family. She deserves some payback other than prison time. But it also left another lingering question: what happens next?
The Magician was the person in charge of handing down the knowledge of how to contain the demon to the next generation. Now that she’s become its current vessel, who will be keeping an eye out? Presumably, that burden now transfers to her only surviving child—a girl around Katie’s age—who’ll have to select a new innocent victim someday and perform the same ritual once her mother’s body starts to break down. We probably won’t get another Lee Cronin’s The Mummy to explore that further, but thinking about it too much does make the new ending a little less suffused with the gleeful spirit of revenge. Want more io9 news? Check out when to expect the latest Marvel, Star Wars, and Star Trek releases, what’s next for the DC Universe on film and TV, and everything you need to know about the future of Doctor Who. #Lee #Cronins #Mummy #Originally #BleakerJack Reynor,Lee Cronin’s The Mummy](https://i3.wp.com/gizmodo.com/app/uploads/2025/09/io9-2025-spoiler.png?ssl=1 "‘Lee Cronin’s The Mummy’ Originally Had a Much Bleaker Ending
Lee Cronin’s The Mummy wasn’t our favorite mummy movie, but it did have some recommendable qualities, including its high levels of gruesome gore. We also approved of the ending, which offered a satisfying twist to the agony that came before. And while The Mummy‘s test screenings were targeted by some since-debunked negative rumors (look, James Wan just wanted more snacks, that’s all!), apparently those same early showings helped writer-director Cronin figure out that all-important final note for his film. Star Jack Reynor talked about the original ending and the changes that were made, and we’ll add one of these in case you haven’t yet seen Lee Cronin’s The Mummy. At the end of Lee Cronin’s The Mummy, the characters have all realized that young Katie is possessed by a ferocious demon. She was kidnapped years earlier by her friend’s mother, a character the film calls “the Magician,” for the sole purpose of becoming the next containment vessel for this demon over a period of years.
The sarcophagus and wrappings covered in ancient writing she’s entombed in are meant to trap the demon as part of an obligation upheld by the Magician’s family for generations upon generations. The demon starts to escape when the sarcophagus is moved out of necessity from the Magician’s farm. Instead of relocating safely, the sarcophagus breaks open in a plane crash, and Katie—still alive, albeit mummified and barely clinging to her human soul—is sent from Egypt to New Mexico to reunite with her surprised and thankful mother, father, and two siblings.
The bulk of Lee Cronin’s The Mummy follows the creature formerly known as Katie causing horrifying, escalating chaos, while an Egyptian detective pokes into the case overseas, and Katie’s father, Charlie, played by Reynor, does his own research in a desperate attempt to figure out what’s wrong with his daughter.
At the end of the movie, the detective comes to New Mexico and helps Charlie manipulate the demon into leaping out of Katie and into Charlie. He saves his daughter, but dooms himself. That’s where the movie ended originally, apparently. The version that made it into theaters has an additional scene where the Magician, who’s been jailed for kidnapping Katie, gets a visit from a mummified Charlie. Again with the detective’s help, the demon makes another leap between bodies—this time, freeing Charlie and taking over the Magician’s soul instead.
That was a reshoot, Reynor told the Hollywood Reporter. “We came back and picked it up, which was cool because it was the one day where I actually got to be the Mummy. It’s fun to get into the makeup and get to be part of that legacy,” Reynor said, name-checking the Boris Karloff and Christopher Lee versions of the character. Even beyond becoming part of horror history, though, he understood the reason for the change.
“You make these decisions because you want to give the audience what they want, and I understand that. Is it a better movie, objectively speaking? I don’t know. I did like Lee’s original ending,” Reynor admitted. “But I also understand that if I went to see that movie with my teenage kids and they were bummed out because it was so fucking bleak at the end, maybe I’d be [more in favor of the new ending]. So I get it both ways. I see the merits of both for different reasons.” The new ending is cathartic; after all, the Magician was the one who singled Katie out for years of unimaginable torture, not to mention inflicting torment on her family. She deserves some payback other than prison time. But it also left another lingering question: what happens next?
The Magician was the person in charge of handing down the knowledge of how to contain the demon to the next generation. Now that she’s become its current vessel, who will be keeping an eye out? Presumably, that burden now transfers to her only surviving child—a girl around Katie’s age—who’ll have to select a new innocent victim someday and perform the same ritual once her mother’s body starts to break down. We probably won’t get another Lee Cronin’s The Mummy to explore that further, but thinking about it too much does make the new ending a little less suffused with the gleeful spirit of revenge. Want more io9 news? Check out when to expect the latest Marvel, Star Wars, and Star Trek releases, what’s next for the DC Universe on film and TV, and everything you need to know about the future of Doctor Who. #Lee #Cronins #Mummy #Originally #BleakerJack Reynor,Lee Cronin’s The Mummy")
Post Comment