Исследования1 мин
Anthropic 和 Theorem 使用 Claude 对 123 个开源库进行数学验证
📌 Anthropic 和 Theorem 使用 Claude 对 123 个开源库进行数学验证 研究人员应用该模型构建代码可靠性的形式化数学证明。基础是来自 Google OSS-Fuzz 服务的现成模糊测试…
Telegram — AI Machine Learning Big Data
Publication Catalog
所有文章
All published intelligence, sovereign stack research, ecosystem news, and AI foundation model reviews.
8003
Stories
Общее1 мин
如何用 AI 学习任何主题：从零到成果
如何用 AI 学习任何主题：从零到成果。你可以看 20 堂课，一周后却什么都记不住。也可以组建一个 AI 导师：它会测试知识、讲解难点并强制你应用。Google 已将这种循环内置到 Gemini 中：测试 → 课程 → 作业 → 复盘……
Telegram — Paragon | Нейросети и ИИ
База знаний1 мин
we might have to SHUT DOWN the internet...
There's a decent chance that the internet ceases to exist. Now, if you showed me that statement 2 3 days ago or longer, I would say, "No way. There's no way that's going to happen." And then everything changed in the last 48 hours. In my previous video, we talked about this…
YouTube — Wes Roth
Общее1 мин
ElixirOffice —— 一款开源办公套件，其工具栏、菜单和对话框均仿照 Word、Excel 和 PowerPoint 设计
ElixirOffice —— 一款开源办公套件，其工具栏、菜单和对话框均仿照 Word、Excel 和 PowerPoint 设计。甚至快捷键组合也完全一致。在 Windows 中，所有 228 个 Word 快捷键均按习惯方式工作，因此无需重新学习……
GitHub Разработчика
Стартапы1 мин
售价 249 美元的 AI 吊坠将持续聆听佩戴者并分析其情绪
🎙 售价 249 美元的 AI 吊坠将持续聆听佩戴者并分析其情绪。由前 Meta 员工创立的初创公司 Nirva 融资 3300 万美元，开发嵌入 AI 的智能饰品。该设备的主要特点是持续监听佩戴者的语音，但…
Telegram — GPT Time | Нейросети | ИИ
Политика и регулирование1 мин
约翰·希利承诺利用预算发挥人工智能潜力，以加强英国安全
约翰·希利宣布计划利用即将出台的预算，通过人工智能提升英国安全。政府打算投资数亿英镑，采取独特的英国人工智能路径，重点关注经济增长和防范威胁。
Digital Donut AI Digest
Отраслевой ИИ1 мин
如何在奇姆肯特建造欧洲标准制造工厂
一台大型变压器的平均价格为200万美元。结果，这里每个工人的平均产出为 345,000 美元。您的追踪数据非常接近欧洲指标，不是吗？变压器是心脏。它泵送、传输、重新分配、...
YouTube — Digital Business KZ
База знаний1 мин
从美国返回哈萨克斯坦，将牛棚改造成价值500万美元的农场
回国后我经历了一点文化冲击：在美国时，我看着墨西哥人在农场拼命干活，完成惊人的工作量，严格遵守每一项规程。来到这里，我能从六米外闻到一个家伙身上的酒味，他……
YouTube — Digital Business KZ
База знаний1 мин
Open Source is BACK (Kimi K3.1)
Kimmy K 3.1 is here and it is a Frontier class open weights model three trillion parameters and I'm going to show you the benchmarks. I'm going to show you a bunch of demos. I'm going to talk about the model specs and yes it is really good. Let me show you some of the demos…
YouTube — Matthew Berman
База знаний1 мин
互联网崩溃的那一周……
感觉就像昨天一样，当时对你基础设施最大的风险是一个厌倦的硅谷开发者发疯般地从 mpm 注册表中删除了他的包。但现在情况更加严峻。仅在过去 72 小时里，字面上的美国国家安全局（NSA）鼓励任何人……
YouTube — Fireship AI
База знаний1 мин
这才是制作发布视频的正确方式
如今，太多创始人认为发布就是花费大量时间和金钱制作[音乐]精美视频并寄希望于其爆火。但我今天的嘉宾 Farza Majeed 对发布和病毒式传播有着截然不同的方法。>> 这是我们发布的所有内容……
YouTube — Y Combinator AI
База знаний1 мин
Gemini 4 Argon API Crash Course
Hey everyone, welcome to freecodecamp. Google just released Gemini 4 Argon, which is its most capable model yet. And in the next 10 minutes or so, we're going to learn how to actually use it. >> By the end of this video, you will know how to use Gemini 4 Argon, control how hard…
YouTube — freeCodeCamp AI
База знаний1 мин
自我复制的AI、医生的聊天机器人与晚餐桌上的智能体
例如，你家里有一个本地智能体在读取你的邮件，攻击者发送一封邮件，邮件进入智能体，攻击者随即控制该智能体，并开始在你家中执行操作。在我看来，这才是更…
YouTube — IBM Technology AI
База знаний1 мин
Old Phones Are Becoming Robots?!?
Это самая крутая вещь , что я видел сегодня. Кто-то превратил дешевый старый смартфон в мозг шагающего робота. Он называется PhoneBot, и его создали в лаборатории робототехники Денниса Хонга в Калифорнийском университете. Телефон—это не пульт . Телефон—это и есть робот. Камера…
YouTube — Matt Wolfe
Исследования1 мин
Kimi K3.1 Just Revealed The Worlds Most Powerful AI (Beats Fable 5 and GPT-5.6)
Китайская ИИ- компания только что выпустила модель, которая на бумаге превосходит Claude Opus 5.5 и GPT-6 Astra в ряде сложнейших тестов для ИИ. Она называется Kimi K 3.1 Pro, а разработала её компания Moonshot AI. Она умеет создавать полноценные 3D-сцены в Blender,…
YouTube — The AI Grid
Исследования1 мин
OpenAI says it will no longer train its AI models on the live internet, citing “significant risks”
OpenAI will cut frontier models off from the internet weeks after one of its engineers said that solution wouldn't work.
TechCrunch — AI
SMNTCN (Semanticon) — глобальные новости ИИ
SMNTCN (Semanticon) — глобальные новости ИИ
База знаний1 мин
用你的 Dot 猎捕 Bug
大家好，我叫 Rennie Song，是负责 Dots 的工程师。今天我想聊聊我如何用我的 Dot 来收集、分类和处理我们在 Dots 上收到的所有反馈，无论是来自 Twitter、Reddit 等外部渠道，还是来自 Slack 和我们内部的……
YouTube — OpenAI Official
TechCrunch — AI
База знаний1 мин
ChatGPT Agent Prompts To Level Up Your Life
ChatGPT can now do things for you even when you're not using it. Dots are their new always-on AI agents that can take on ongoing tasks and work proactively in the background. Here are 3 ways to put yours to work: 💰 Get money back: Track purchases and catch price drops so you…
YouTube — Matt Wolfe
SMNTCN (Semanticon) — глобальные новости ИИ
Исследования1 мин
OpenAI 现在在没有互联网访问的情况下训练其前沿 AI 模型
OpenAI 现在在没有互联网访问的情况下训练其最先进的 AI 模型，这是在一系列恶意黑客事件之后。周五的一篇博客文章中，OpenAI 表示它构建了一个离线测试环境，AI 模型可以在其中与已索引和缓存的网页内容交互，「无风险…
The Verge — AI
Общее1 мин
Paragon 在线 — 今日总结！
Paragon 在线 — 今日总结！今日要闻🟠23.10 🟠Google Meet — 通话翻译支持 63 种语言 🟠Anthropic — 11 月上市 🟠Arc — 浏览器将于 12 月 22 日关闭 🟠Kimi K3.1 Pro — 代码能力已接近 Opus 🟠Microsoft — 诊断准确率达 83% 🟠Claude —…
Telegram — Paragon | Нейросети и ИИ
Общее1 мин
在麻省理工学院，玛莎·米诺谈论维护民主——既利用又克服人工智能
法学学者玛莎·米诺于本周四在麻省理工学院发表了秋季康普顿讲座，探讨民主的公民基础——并描述人工智能如何削弱民主，但也可能被用来加强美国传统治理。“这并不好…
MIT News — AI
Стартапы1 мин
投资人与 Superhuman Mail 创始人讨论产品与市场中的危险信号
尽管增长迅速，但在 AI 时代，初创公司寻找产品与市场的契合变得更难。投资者应警惕被夸大的财务指标，因为许多初创公司歪曲其财务状况。真实的关键指标……
Digital Donut AI Digest
Общее1 мин
Webinar to discuss how the FCC robotics ruling affects automation buyers
Vecna Robotics makes its systems in the U.S. and is not directly affected by the FCC ruling. Credit: Eugene Demaitre In July, the Federal Communications Commission, or FCC, said it had determined that certain foreign-made advanced robots pose a cybersecurity and competitive risk…
The Robot Report
Исследования1 мин
腾讯发布 Hy-Nomas：可在单张 RTX 4090 上运行的开源交互式视频世界模型 🌍
腾讯发布 Hy-Nomas：可在单张 RTX 4090 上运行的开源交互式视频世界模型 🌍 模型通过视频片段构建世界，您可通过文本和相机轨迹控制它：每一步都可更换场景、风格、动作或视角，世界的记忆…
Telegram — AI Machine Learning Big Data
Стартапы1 мин
Из Google в венчур | Назерке Калидолда, Sturgeon Capital | Санжар Рахметжанов, Armeta
не просто мир глобальных больших денег, а самые рисковые деньги, которые себе только можно вообразить - это венчурный капитал, >> то можно сильно сразу отличить с первой секунды фаундер отсюда или нет. >> Что для вас является самым таким вот красным флагом, ред флагом, когда вы…
YouTube — Armeta Kazakhstan
Общее1 мин
在 MIT 强化人类理解的价值
在 MIT 人文、艺术与社会科学学院 (SHASS) 75 周年纪念研讨会上，发言者赞扬了该学院的价值与贡献，并探讨了人工智能如何改变教学、研究和社会的许多方面。研讨会…
MIT News — AI