Зерттеулер2026 ж. 12 қазан

Google Deepmind компаниясының AlphaProof Nexus жүйесі ондаған ашық математикалық есептерді шешті және іс жүзінде олардың сараптамасынан өтті.

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

Manuel Uth·The Decoder
Түпнұсқа
Негізгі тұжырымдар
  • 01.Google Deepmind компаниясының AlphaProof Nexus жүйесі ондаған ашық математикалық есептерді, соның ішінде 56 жыл бойы шешілмеген тоғыз Erdő есептерін шешті
  • 02.Басылым OpenAI компаниясының GitHub сайтында AI дәлелдемелерін сараптамасыз тастағаны үшін бойкотпен бетпе-бет келген кезде шықты
  • 03.Терең ақыл…

Материал кеңейтілген талдамалық дайджест форматында берілген.

Толық нұсқасын түпнұсқадан оқу
Материал авторға сілтеме жасай отырып, ұлттық инфопоток аясында агрегацияланған.

Байланысты материалдар

Барлығы →
Зерттеулер1 мин

It's happening...

One of the most controversial companies in history just filed to go public. And yes, we're talking about Anthropic. The same company that says there's a greater than 10% chance AI kills all of humanity is also simultaneously one of the best built businesses of all time. And in…

YouTube — Matthew Berman
Зерттеулер1 мин

OpenAI үш үлкен ғылым жаңалықтарын және академиктермен жұмыс істеудің жаңа әдісін жариялайды

Жүздеген қолжазбаларды жаппай шығарғаннан кейін бір айдан аз уақыт өткен соң, оның айтуынша, бұрыннан келе жатқан математика сұрақтарының шешімдері бар, OpenAI математика, информатика және физика бойынша тағы үш «ірі» жаңалықпен оралды. Бұл жолғы ерекшелік – таңдау…

The Verge — AI
Білім базасы1 мин

Жаңа толық стек дизайнері

Бүгін маған Shopify-тегі өнім дизайн студиясын басқаратын Марвин Швайболд қосылды. Ол бізге өз процесін сахна сыртында көрсетеді, >> [музыка] >> мұнда оның дизайнын өмірге келтіру үшін соңғы AI құралдарын қалай пайдаланып жатқанын көреміз, содан кейін көрермендер жіберген кейбіреулерді қарап шығыңыз…

YouTube — Y Combinator AI