; формулируется она очень просто - не существует таких троек натуральных чисел, чтобы a^n + b^n = c^n, при n > 2; интрига, которую подвесил Ферма, заключается в том, что он написал ее формулировку на полях книги и приписал, что доказательство не вмещается; за 400 лет доказательство таки нашли, но оно получилось очень объемным, например, доказательство от Claude занимает больше 13 млн строк кода на Lean4...
#КапитанскийМостик Валентин Малых и Дмитрий Колодезев разбирают главные ИИ-события недели: релиз Fable 5.1, выход GPT 6 с заявлениями про AGI и — с точностью до наоборот — законодательную инициативу США о запрете суперинтеллекта. Затем экономика ИИ: почему Anthropic экономит ваши токены, зачем Nvidia нужен Poolside и сколько стоит дата-центр в Саудовской Аравии...
статья называется DiffIE: Diffusion-based Open Information Extraction; суть происходящего на картинке (и собственно отражена в названии); если вкратце, то Константин Федоров, мой соавтор, придумал, как обучить диффузионную модель, чтобы...
сейчас предустанавливается на все новые смартфоны по закону, звучит довольно апокалиптично; я бы точно не хотел на своем смартфоне ИИ-агента, которого я не выбрал справедливости ради, ZTE сделала смартфон c агентом Doubao от ByteDance еще в прошлом году (писал об этом тут), а на днях Alibaba выпустили официального агента Qwen для смартфонов,...
