Cody Ho 和 Niklas Sheth 为 Apple M4 Mac Mini 和 MacBook Neo 开发了一款完全符合 OpenGL ES 3.0 标准的 GPU 驱动程序。通过利用自定义虚拟机监控程序对 AGX 固件 ABI 和用户空间组件进行透明、净室(clean-room)逆向工程,他们仅用数周时间就完成了通常需要数年才能完成的工作。
该开发过程在很大程度上依赖人工智能体(GPT-5.6 Sol 和 GPT-6 Astra)来实现逆向工程和代码生成的自动化。开发工作分为两个领域:一个用于管理固件通信的 Rust 内核驱动程序,以及一个集成到 Mesa 中用于处理 GPU 命令流和着色器编译的用户空间驱动程序。该团队已成功利用该驱动程序运行了 Chrome、Firefox 和 Minecraft(达到 200fps)。
研究人员采用了“Mesa 优先”策略,将人工智能的研发重心放在具体的开发任务上,而非单纯的理论逆向工程。尽管该代码尚未准备好供最终用户使用,但该项目是在复杂的底层系统编程中使用大语言模型(LLM)的里程碑式成就。该团队计划最终将工作贡献给上游,但他们也承认,在软件达到生产就绪状态之前,仍存在重大的技术和人为障碍。
让-皮埃尔·塞尔(Jean-Pierre Serre)是20世纪最具影响力的数学家之一。他出生于药剂师家庭,自幼便对数学产生了浓厚兴趣,通过自学母亲的大学教材掌握了微积分,随后在尼姆的公立中学表现优异。1945年进入巴黎高等师范学院后,他加入了布尔巴基学派,师从亨利·嘉当,并于1951年获得博士学位。 塞尔在谱序列和纤维空间方面的开创性工作彻底改变了代数拓扑学和同调代数。1954年,年仅28岁的他成为史上最年轻的菲尔兹奖得主。在他的职业生涯中,他曾长期担任法兰西公学的教授(1956–1994),并出版了许多因卓越的清晰度和影响力而备受推崇的奠基性著作。 塞尔以其在代数几何和数论领域的博学多才而闻名,曾获得包括斯蒂尔奖和2003年首届阿贝尔奖在内的无数荣誉。除学术成就外,他还被公认为一位杰出的阐述者和博学家,兴趣广泛,包括乒乓球、国际象棋和文学。塞尔终其一生都将数学视为对真理的优雅追求,是现代数学理论的主要构建者之一。
石油是日常生活的一部分,即使你并没有意识到这一点。它被精炼成燃料,用于驱动汽车、运输货物,并帮助农民生产我们的粮食。它还被用来制造我们穿的衣服等物品。 自2026年2月美国和以色列对伊朗开战以来,全球的石油消费量一直超过产量。霍尔木兹海峡和红海实际上已切断了石油运输,导致全球约20%的石油供应中断。俄罗斯炼油厂遭袭和出口禁令使情况进一步恶化。美国的战略石油储备已降至1982年以来的最低水平。 《消耗分类账》(The Depletion Ledger)记录了石油供应、燃油价格,以及短缺对民众和企业的影响。你可以通过下方的图表查看变化情况,并探究这场危机可能演变的三个方向。该模型估算了在每种情况下储备石油的维持时间,并保留了预测记录,以便你查看其准确性。
本项目包含一个轻量级神经网络,旨在判断给定的输入是否为“Numberwang”。整个模型仅存储在一个 1.8 MB 的 JSON 文件中,推理过程完全依赖 Python 标准库,无需 PyTorch 或 NumPy 等外部依赖。 该网络直接处理字符级输入,无需传统的标记化或规则引擎。它被训练用于将输入分为四类:*Numberwang*、*非 Numberwang*、*非数字* 或 *Wangernumb*。它展现了令人印象深刻的语言灵活性,能够识别十一种语言的数字,并能处理罗马数字、序数和基本算术。 在技术上,该模型采用简单的架构(Conv1d、ReLU、全局最大池化),包含 80,804 个参数。尽管其 F1 分数接近 0.90,但它更多依赖于记忆而非严谨的计算,因此对常见表达的判断高度准确,但在处理复杂的未知算术时可靠性稍逊。本项目开源并采用 MIT 许可证,为解决识别 Numberwang 这一历史性难题提供了一种极简且即插即用的方案。
您已被网络安全机制拦截。如需继续,请登录您的 Reddit 账号或使用您的开发者令牌。如果您认为被误拦截,请提交下方的工单,我们会进行核查。
登录
提交工单