Neura News

AI News

News reporting focused on AI and machine learning, covering the companies behind these technologies, their real-world applications, and the ethical concerns they raise. This includes areas like generative AI (large language models, text-to-image and video), speech tech, and predictive analytics.

Latest News

1 article

Research

Google Deepmind AI Solves Decades-Old Math Problems Cheaply

Google Deepmind's AlphaProof Nexus framework autonomously solved nine of 353 open Erdős problems, including two unanswered for 56 years, at an inference cost of a few hundred dollars each. The system uses Gemini 3.1 Pro to generate proof steps in Lean's formal language, with compiler feedback grounding the language model's reasoning. It also tackled 44 OEIS conjectures and settled a 15-year-old algebraic geometry question.

May 254 minNeura News