Rise of AI chatbots raises questions on the future of mathematics
. Whereas symbolic AI is inherently rigorous, neural networks can only make statistical guesses, and their operations are often mysterious.Credit: Xinhua/Shutterstock
The researchers say the process helped them to understand the proof, and even to find ways to simplify it. “I think this is even more exciting than checking the correctness,” de Moura says. “Even in our wildest dreams, we didn’t imagine that.” Still, Minerva’s neural network seems to be able to acquire some general techniques, as opposed to just statistical patterns, and the Google team is trying to understand how it does that. “Ultimately, we’d like a model that you can brainstorm with,” Dyer says. He says it could also be useful for non-mathematicians who need to extract information from the specialized literature. Further extensions will expand Minerva’s skills by studying textbooks and interfacing with dedicated maths software.
France Dernières Nouvelles, France Actualités
Similar News:Vous pouvez également lire des articles d'actualité similaires à celui-ci que nous avons collectés auprès d'autres sources d'information.
Filecoin’s FIL Token Jumps More Than 30%, Sparking Interest in Virtual Machine LaunchThe price of Filecoin token FIL jumped more than 30% Friday, generating excitement on social media about the network's upcoming Filecoin Virtual Machine launch. By LizKNapolitano
Lire la suite »
Megan Fox found suspicious texts and DMs on Machine Gun Kelly’s phone: sourcesA source tells us Fox, who has since taken off her engagement ring, found things on Kelly’s phone that made her believe the rocker is “having an affair.”
Lire la suite »
Megan Fox Broke Up With Machine Gun Kelly Because of DM's Suggesting Cheating: ReportThe blowup between Megan Fox and Machine Gun Kelly may have been the oldest modern source of conflict -- DM's.
Lire la suite »
Report: Megan Fox Discovered Private Messages on Machine Gun Kelly’s Mobile DeviceAn unlocked phone led to Megan Fox and Machine Gun Kelly’s split, say sources.
Lire la suite »
Houston’s Machine Gun Kelly to make Houston Rodeo concert debutThis will be his second appearance in H-Town within a year as he played the Toyota Center last year.
Lire la suite »