Google Deepmind компаниясының AlphaProof Nexus жүйесі ондаған ашық математикалық есептерді шешті және іс жүзінде олардың сараптамасынан өтті.
Google Deepmind компаниясының AlphaProof Nexus жүйесі ондаған ашық математикалық есептерді, соның ішінде 56 жыл бойы шешілмеген тоғыз Erdő есептерін шешті. Басылым OpenAI компаниясының GitHub сайтында AI дәлелдемелерін сараптамасыз тастағаны үшін бойкотпен бетпе-бет келген кезде шықты. Терең ақыл…