Блог
Новини за AI и практически ръководства, обяснени ясно.
Най-ново
Съобщенията, че модели на OpenAI решават големи математически проблеми, сочат към по-дълбок въпрос: генерирането на доказателства става по-евтино, докато проверката, приписването на заслуги и публикуването все още се движат с човешка скорост.
Безплатен курс
Пълен курс по изкуствен интелект — от математиката до LLM, агенти и MCP. Тридесет глави, всяка от които си струва да се прочете самостоятелно.
30 глави~11 ч. четене
Първи глави
Невронът е претеглена сума и праг. Това е цялата идея — а ограниченията ѝ доведоха до всичко след нея.
Квадратичната грешка не е конвенция. Тя е твърдение за шума — и можете да видите кога е грешно.
Всички пишат знака минус. Почти никой не казва защо е там или колко голяма стъпка издържа.
Accuracy е най-лесното число за докладване — и най-лесното, което може да ви заблуди.
Видеа
Вижте всички видеа
#173
#172
#171
#170
#169
#168
#167
#166Всички публикации
Jev на TypeSafe AI привлича внимание, защото разглежда софтуерната интелигентност като проблем на вероятностите: изберете правилния клон, добавете увереност и не плащайте на LLM да пише текст, когато кодът има нужда от решение.
Правният старт на OpenAI е не толкова за нов базов модел, колкото за системата около него: домейн извличане, надеждни инструменти, права, бенчмаркове и пътища за преглед.
Дълго работещите агенти не се провалят само защото прозорецът е малък. Те се провалят, когато файлове, изходи от инструменти и остаряла история изтласкат задачата, която агентът е трябвало да завърши.
Dario Amodei wants outside evaluators, shared safety standards, and international agreements to pace frontier AI. The hard part is defining what “too fast” means while Anthropic is reported to be preparing a record-size IPO.
По-сериозната тревога около рекурсивното самоусъвършенстване не е странният изход от чатботи. Тя е свързана с агенти, които координират, оптимизират метрики и помагат за изграждането на следващите модели — притеснение, отразено в публикации на WIRED, MIT Technology Review, CNBC и The Guardian.
OpenAI казва, че AI агенти са открили сингулярност в Навие–Стокс и са формализирали доказателството в Lean. По-трудната история е какво следва: проверка, признание и силата на частните рояци от агенти в математиката.
