DeepSeek: Prover-V2 и революция във формални док-ва
DeepSeek представи Prover-V2, LLM с отворен код за формални доказателства. Използва Lean 4 и DeepSeek-V3, за да свърже формално и неформално математическо разсъждение.
DeepSeek представи Prover-V2, LLM с отворен код за формални доказателства. Използва Lean 4 и DeepSeek-V3, за да свърже формално и неформално математическо разсъждение.
Разгърнете своята креативност! Създавайте персонализирани фонове за Google Meet с Gemini AI. Лесни стъпки, креативни идеи и съвети за максимално въздействие.
Google използва AI в доклада за устойчивост. Gemini и NotebookLM водят до по-голяма ефективност и прозрачност. Други компании също изследват AI за устойчиво развитие.
OpenAI и Microsoft преговарят за условията на партньорството си, целящи евентуално IPO. Microsoft може да отстъпи част от дяловете си, за да запази достъп до нови AI технологии.
Suno AI v4.5 революционизира музиката с изкуствен интелект, предлагайки подобрени жанрове, емоции и контрол при създаването на музика.
Tencent представи своя MoE модел с отворен код Hunyuan. Той се отличава с висока производителност и параметри и е подходящ за различни задачи – от генериране на текст до математическа логика.
Разберете какво е генеративен AI, как работи и неговите приложения и предизвикателства. Проучете бъдещето на тази иновативна технология.
Baidu подаде патент за AI система, която дешифрира животински звуци и ги превежда на човешки език. Тази технология може да подобри комуникацията и разбирането между видовете.
ChatGPT и големите езикови модели (LLMs) променят дигиталния маркетинг. Фокусът се измества към изграждане на силно присъствие онлайн, което резонира с AI системи.
Meta активно търси държавни поръчки, особено в отбранителния сектор, набирайки бивши служители на Пентагона и разширявайки AI и VR услугите си за военни приложения, конкурирайки се с Google и OpenAI.