Develata's Space

Appearance

科技新闻 2026-1-7 ​

韩籍数学家破解六十年悬案，英特尔发布首款18A工艺核心Ultra系列，AI安全测试展现新进展，开源系统CheriBSD助力安全计算，EAST托卡马克实现密度自由区突破。

Six-decade math puzzle solved by Korean mathematician 95 ​

  • Tags: 数学、几何、算法优化、理论突破

  • Source: HackerNews | 阅读原文

[摘要]
韩国数学家Baek Jin-eon通过纯逻辑推理证明Gerver图形为“移动沙发问题”的最优解，终结近60年未解难题。

Hierarchical Autoregressive Modeling for Memory-Efficient Language Generation 94 ​

  • Tags: 机器学习 自回归模型 语言生成 模型架构 长上下文处理

  • Source: HackerNews | 阅读原文

[摘要]
PHOTON提出分层自回归架构，通过垂直多分辨率上下文访问替代传统Transformer的水平扫描，显著降低解码时KV缓存流量，实现高达1000倍的单位内存吞吐提升。

Comparing AI agents to cybersecurity professionals in real-world pen testing 94 ​

  • Tags: AI Agents Cybersecurity Penetration Testing Multi-Agent Systems Vulnerability Discovery

  • Source: HackerNews | 阅读原文

[摘要]
ARTEMIS多智能体框架在真实企业网络渗透测试中表现优异，仅次于人类专家，实现82%有效提交率，具备系统化枚举与并行攻击优势。

Intel Core Ultra Series 3 Debut as First Built on Intel 18A 94 ​

  • Tags: Intel 18A x86 AI PC CPU GPU NPU 边缘计算 制程工艺

  • Source: HackerNews | 阅读原文

[摘要]
Intel Core Ultra Series 3首发基于自研18A制程，首度实现美国本土制造，集成高性能CPU/GPU/NPU，支持AI PC与边缘计算场景。

CheriBSD: FreeBSD for CHERI-enabled platforms 94 ​

  • Tags: CHERI FreeBSD Capability Hardware Memory Safety RISC-V Arm Morello Operating System Security

  • Source: OSNews | 阅读原文

[摘要]
CheriBSD extends FreeBSD with CHERI capability hardware for memory-safe execution on Arm Morello/RISC-V, enabling fine-grained memory protection and compartmentalization via 128-bit capabilities with tag-based integrity.

EAST 托卡马克装置证实密度自由区的存在 92 ​

  • Tags: 核聚变 托卡马克 等离子体物理 EAST 受控核聚变

  • Source: Solidot | 阅读原文

[摘要]
EAST托卡马克实验首次实证密度自由区存在，揭示等离子体密度极限的边界物理机制，为可控核聚变稳态运行提供关键理论支撑。

Dude, where's my supersonic jet? 92 ​

  • Tags: 超音速飞行 无人机/航空器 声学控制 人工智能 航空法规

  • Source: HackerNews | 阅读原文

[摘要]
Boom Supersonic achieved first private supersonic flight with Mach cutoff tech, eliminating ground-level sonic booms; regulatory changes now enable future commercial supersonic travel.

CES 2026: Taking the Lids Off AMD's Venice and MI400 SoCs 92 ​

  • Tags: AMD 服务器CPU AI加速器 Zen 6 先进封装 N2制程 EPYC MI400

  • Source: HackerNews | 阅读原文

[摘要]
AMD Venice服务器CPU与MI400加速器首次亮相，采用先进封装技术，双IO die设计，单CCD达32核128MB L3，总核心数最高256核，N2制程下每核面积约5mm²。

Opus 4.5 is not the normal AI agent experience that I have had thus far 92 ​

  • Tags: AI Agent Code Generation Autonomous Development .NET Windows SDK

  • Source: HackerNews | 阅读原文

[摘要]
Claude Opus 4.5展现突破性代码生成与自主纠错能力，可独立完成复杂Windows工具开发全流程，实现端到端自动化构建与部署。

Show HN: Mantic.sh – A structural code search engine for AI agents 92 ​

  • Tags: 代码搜索 AI代理 性能优化 本地运行 Git集成 MCP

  • Source: HackerNews | 阅读原文

[摘要]
Mantic 实现无需嵌入向量、外部依赖的超快代码搜索，500ms内完成大规模代码库文件排序，基于文件结构与元数据推断意图，支持本地化、高隐私、低延迟检索。