Publication Catalog

所有文章

All published intelligence, sovereign stack research, ecosystem news, and AI foundation model reviews.

2512
Stories
Исследования1 мин

Anthropic's Claude now writes code and proves it safe automatically

Anthropic had Claude generate mathematical proofs that existing code is correct, producing roughly 180 million lines of proof code for 123 open-source libraries. Along the way, the model caught bugs that years of testing had missed. Anthropic's goal: making formal verification…

The Decoder
Исследования1 мин

人工智能正在改变大学图书馆的运作方式

📣📖人工智能正在改变大学图书馆的工作第14届欧亚学术图书馆会议EALC-2026在纳扎尔巴耶夫大学举行。主要议题是人工智能、科学研究的未来和大学图书馆的新角色。专家们讨论...

Telegram — BlueScreen.kz
Исследования1 мин

NVIDIA负责人预言阿斯塔纳将出现AI矿工和AI农民

NVIDIA首席执行官黄仁勋在阿斯塔纳表示,人工智能的发展将导致通用AI农民、AI矿工、AI工程师和AI科学家的出现。在他看来,哈萨克斯坦具备成为中心之一的必要条件……

Kursiv Media Tech
Исследования1 мин

全球数以百万计的网络攻击 - 关键 PHP 漏洞导致大规模网站中断

🚨 全球数以百万计的网络攻击 - 关键的 PHP 漏洞导致大规模网站中断 Cloudflare 在披露 PHP(互联网上约 69% 的网站使用的语言)中的两个关键漏洞后,记录了数百万次黑客攻击网站的尝试。规模…

Telegram — GPT Time | Нейросети | ИИ
Исследования1 мин

OpenAI降低估值目标,融资至多300亿美元

OpenAI 即将完成高达 300 亿美元的新一轮融资,但为此降低了估值目标。 《OpenAI 降低估值目标,融资至多 300 亿美元》一文首先出现在 The Decoder 上。

The Decoder
Исследования1 мин

“雄心决定我们能实现什么”,黄仁勋谈人工智能发展

如果哈萨克斯坦能够将能源资源、计算基础设施和自身数据结合起来,就可以成为人工智能发展的中心之一。在访问阿斯塔纳期间,黄仁勋谈到了人工智能为该国带来的机遇,为什么......

The Tech.kz — венчур и стартапы
Исследования1 мин

Sakana AI 提出了一种寻找一组不同选项的推荐方法

🌟 Sakana AI 提出了一种搜索一组不同选项的推荐方法。 QD-Rec 是一种为决策选择建议的方法,对于一个人来说,比较选项而不是得到一个答案很重要。这里的搜索单位不是候选人本人,无论是公司、客户还是科学文章,而是……

Telegram — AI Machine Learning Big Data
Стартапы1 мин

一系列活动:现在做什么

一系列活动:现在要做的事情ㅤ🟠OpenTrain - 每小时 38-42 美元,用于远程检查俄语人工智能答案,每周仅需大约 7 个小时。我们正在回应职位空缺;我们需要俄语、书面英语和大学学习或文凭。 ㅤ🟠啊哈! AI Builder Day - 17 日至 20 日...

Telegram — Paragon | Нейросети и ИИ
Исследования1 мин

Llama:Mac 上的本地 AI

Llama 直接在您的 Mac 上运行 AI 模型。它位于您的菜单栏中,并会建议适合您 Mac 的型号。一键下载,然后打开聊天,模型会自行加载。您的对话永远不会离开您的计算机,甚至可以离线工作。任何使用 Open 语言的应用程序...

YouTube — Hugging Face
Исследования1 мин

Дженсен Хуанг: создание собственного ИИ — вопрос национальной безопасности Казахстана Основатель и генеральный директ...

Дженсен Хуанг: создание собственного ИИ — вопрос национальной безопасности Казахстана Основатель и генеральный директор NVIDIA Дженсен Хуанг во время встречи с министром искусственного интеллекта и цифрового развития Жасланом Мадиевым в Астане объяснил, почему…

Telegram — BlueScreen.kz
Исследования1 мин

人择

ANTHROPIC:从下周开始,Claude 将开始默认使用自动模式来管理 Pro、Max 和 Team 计划的权限。在这种模式下,克劳德不会要求用户确认每个动作,而是会依靠自己的……

Telegram — Вайб-кодинг
Исследования1 мин

中国数学家准备1000道题向人工智能发起挑战

🧠 中国数学家准备1000道题向人工智能发起挑战 61岁南京大学教授孙志伟编纂了一部包含1000个未解数学猜想、超过400页的合集。该学者坚信人工智能无法解决……

Telegram — GPT Time | Нейросети | ИИ
Исследования1 мин

Route-and-Generate:用于LLM推理路由的KL正则化路由器改进

arXiv:2610.30351v1 通告类型:new 摘要:大语言模型往往不加区分地应用复杂推理,导致在简单任务上过度思考,在困难任务上思考不足。我们提出Route-and-Generate (Rouge),一种分层训练框架,使得...

arXiv — cs.AI
Исследования1 мин

诊断移动GUI代理中的个性化失败

arXiv:2610.30573v1 通告类型: 新 摘要: 与传统GUI代理不同, 个性化GUI代理需要用户偏好来指导在不断变化的GUI状态上的顺序执行. 这引发了两个挑战: 确定每个偏好应如何改变执行策略...

arXiv — cs.AI
Исследования1 мин

RoleFlow:通过结构适应自我进化的多角色代理协作

arXiv:2610.30429v1 公告类型:新 摘要:基于大型语言模型 (LLM) 的多智能体系统通常依赖于预定义的协作结构,限制了它们对不断变化的任务需求的适应性。尽管最近的方法可以实现动态编排,但……

arXiv — cs.AI
Исследования1 мин

利用AI代理建模框架加速加拿大全境野火隐患测绘

arXiv:2610.30170v1 通告类型: 新 摘要: 加拿大日益增加的野火活动需要频繁的国家级隐患测绘以指导主动缓解措施,包括燃料管理、土地利用规划、基础设施保护和疏散路线规划。然而,基于过程的...

arXiv — cs.AI
Исследования1 мин

Why Bother Me Again? Benchmarking Personal Agent Memory for Interaction Preferences

arXiv:2610.30485v1 Announce Type: new Abstract: Personal intelligence systems are taking on increasingly complex everyday tasks, yet repeated questions, unnecessary confirmations, and unwanted outreach can turn capable assistance into interaction burden. Reducing this burden…

arXiv — cs.AI
Исследования1 мин

串谋的模型生物:不受信监视器中的纠正性迁移

arXiv:2610.30582v1 通告类型:new 摘要:AI控制协议旨在通过监控模型行为,从可能未对齐的模型中获得有用工作。一种方法使用同一模型的第二个副本作为监视器。这避免了依赖模型可能利用的较弱审查者……

arXiv — cs.AI
Исследования1 мин

具有可微置信函数层的神经网络

arXiv:2610.30173v1 公告类型:新 摘要:Yager 1987 年的组合规则 $\boxplus$ 是基于认识论基础提出的:在高度冲突下,质量应该重新分配到无知,而不是重新归一化到类单纯形上。我们观察到反向传播需要……

arXiv — cs.AI