Google Deepmind's AlphaProof Nexus solved dozens of open math problems, including nine Erdős problems two of which were unsolved for 56 years, per a study in Science.
← Back to all developments · Signals are a development reported by more than one source. See the methodology.