谷歌DeepMind团队推出新系统AlphaProof Nexus，在未依赖公开发表或训练集中可见的标准解法的情况下，自主解决了353个公开埃尔德什（Erdős）问题中的9道，其中有两道难题甚至困扰了数学界56年之久。值得一提的是，每...

近日，一款名为Let-go的开源编程语言在Hacker News上引发热议。它用纯Go语言实现，语法和语义上约90%兼容JVM上的Clojure。与传统Clojure依赖Java虚拟机不同，Let-go编译成一个约10MB的静态二进制文件，冷启动时间仅...

近日，一项名为ProgramBench的新型基准测试引发了人工智能和软件工程领域的广泛关注。该测试旨在评估AI智能体（Agent）在没有源代码的情况下，仅通过阅读文档和进行实验，从零开始逆向构建软件可执行文件的能力。Pro...

近日，开源AI智能体项目AutoBe发布了一项突破性技术成果，其开发的‘函数调用约束框架’将大型语言模型在生成复杂后端API数据类型时的成功率，从原始的6.75%大幅提升至超过99.8%。这一进展标志着AI在自动化软件开发，...

近日，一位开发者在Hacker News社区展示了一个名为‘Han’的开源编程语言项目，该项目因其独特的设计理念和技术实现引发了广泛关注。Han是一门静态类型、编译型编程语言，其最显著的特征在于所有关键字均采用韩语谚文...

近日，一款名为Mog的新型编程语言在开发者社区引发关注。Mog被定位为一门静态类型、编译型、嵌入式语言，其设计理念与静态类型的Lua类似，但核心目标用户并非人类程序员，而是大型语言模型（LLM）。该语言的完整规范...

近日，埃隆·马斯克预测，到2026年，人工智能将能够直接生成可执行的二进制文件，从而使编程语言和编译器变得过时。然而，技术专家指出，这一论断存在根本性的“范畴错误”。当前，确定性编译器能够在毫秒级别内，以严...

近日，一个名为BarraCUDA的开源项目在开发者社区引发广泛关注。该项目旨在实现一个能够将NVIDIA CUDA代码（.cu文件）直接编译为AMD GPU（特别是基于RDNA 3架构、代号GFX11）机器代码的编译器。这一尝试打破了长期以...