Новини Gate, 24 квітня — DeepSeek V4 опублікував результати оцінювання формального математичного міркування, досягнувши ідеального результату 120/120 на Putnam-2025, поділивши перше місце з Axiom.
У практичному режимі із використанням LeanExplore та обмеженого семплінгу V4-Flash-Max набрав 81.00 на бенчмарку Putnam-200 Pass@8, суттєво випередивши Seed-2.0-Prover (35.50), Gemini 3 Pro (26.50) та Seed-1.5-Prover (26.50). Результати в режимі frontier показали, що V4 випереджає Seed-1.5-Prover (110/120) та Aristotle (100/120).
V4 використовує гібридний підхід формальних-неформальних міркувань: неформальні міркування генерують кандидатні розв’язання природною мовою, самоперевірка відсіює результати, а формальний агент завершує строгі доведення в Lean. Результати frontier спиралися на масштабне обчислювальне нарощування, тоді як бали практичного режиму краще відображають стандартні можливості розгортання.
Застереження: Інформація на цій сторінці може походити від третіх осіб і не відображає погляди або думки Gate. Вміст, що відображається на цій сторінці, є лише довідковим і не є фінансовою, інвестиційною або юридичною порадою. Gate не гарантує точність або повноту інформації і не несе відповідальності за будь-які збитки, що виникли в результаті використання цієї інформації. Інвестиції у віртуальні активи пов'язані з високим ризиком і піддаються значній ціновій волатильності. Ви можете втратити весь вкладений капітал. Будь ласка, повністю усвідомлюйте відповідні ризики та приймайте обережні рішення, виходячи з вашого фінансового становища та толерантності до ризику. Для отримання детальної інформації, будь ласка, зверніться до
Застереження.
Пов'язані статті
Індія: найм у сфері AI-інжинірингу стрімко зростає на 59,5%, виходить за межі технопарків
AI Labor Market Report 2026 від LinkedIn, опублікований 24 квітня, виявив, що найм AI-інженерів в Індії зріс на 59,5% у річному обчисленні, що стало найшвидшими темпами серед ринків, досліджених платформою.
Зростання було зумовлено тим, що попит поширився за межі усталених технологічних центрів. Міста, зокрема
CryptoFrontier10хв. тому
Commonwealth Bank Скорочує 120 Робочих Місць На Тлі Розширення ШІ
Commonwealth Bank of Australia оголосив, що скоротить приблизно 120 робочих місць, оскільки найбільший у країні банк переглядає посади та розширює використання штучного інтелекту, повідомляє Bloomberg. Скорочення включають 43 посади в Bankwest у Західній Австралії, причому шість позицій зазнають впливу автоматизації. Це a
CryptoFrontier19хв. тому
Cursor розкриває причину тренування XAI: обчислювальні потужності були затиснуті, SpaceX додатково має 60 мільярдів доларів на опціони на придбання
Оголошення Anysphere стверджує, що Cursor буде навчати нову модель разом із xAI на основі інфраструктури Colossus, щоб подолати вузьке місце з обчислювальною потужністю; SpaceX запропонувала опціон на придбання на 60 мільярдів доларів США (можна здійснити повне придбання протягом 2026 року), а якщо ні — сплатити приблизно 10 мільярдів доларів США як компенсацію за співпрацю. Обидві угоди відбуваються одночасно, змінюючи те, хто зможе навчати Cursor і хто зможе викупити Cursor; Cursor досі дозволяє багатьом бекендам моделей, але в довгостроковій перспективі все залежить від того, чи здійснить SpaceX своє право на придбання.
ChainNewsAbmedia37хв. тому
Anthropic 二级市场估值突破 1 万亿美元：Forge Global 反超 OpenAI 的 8,800 亿
Згідно з повідомленням Decrypt, вторинна оцінка Anthropic компанії Forge Global становить приблизно 1 трлн доларів США, а OpenAI — близько 880 млрд доларів США; на вторинному ринку вперше зафіксовано лідируючий розворот. ARR Anthropic зросла приблизно з 9 млрд на кінець 2025 року до приблизно 30 млрд у березні 2026 року — за три місяці на 233%, що підштовхнуло приватні оцінки. Вторинна оцінка відрізняється від первинного фінансування: вона відображає впевненість у виході; у майбутньому й далі дивляться на чотири напрями — технології, політику, бізнес і наратив.
ChainNewsAbmedia38хв. тому
Meta Platforms планує скоротити штат на 10% 20 травня, зачепивши приблизно 8 000 посад
Повідомлення Gate News, 24 квітня — Meta Platforms планує скоротити штат приблизно на 10%, що торкнеться приблизно 8 000 посад, 20 травня. Звільнення мають на меті підвищити операційну ефективність, одночасно збільшуючи інвестиції в штучний інтелект.
Запланована реструктуризація відображає
GateNews1год тому
Уряд Трампа оприлюднив план боротьби з AI-переробкою, звинувачуючи китайські компанії в систематичному викраденні можливостей моделей
Офіційний помічник президента з питань технологічної політики Білого дому (OSTP) Майкл Дж. Кратсіос (Michael J. Kratsios) 23 квітня зробив офіційну заяву, у якій зазначив, що адміністрація Трампа має інформацію, яка свідчить: іноземні суб’єкти (переважно з Китаю) навмисно націлені на великі американські компанії в галузі штучного інтелекту, системно вилучаючи можливості американських AI-моделей через «десятки тисяч» проксі-акаунтів та системи, що використовують технології джейлбрейку, і паралельно оприлюднюють чотири заходи реагування.
MarketWhisper1год тому
