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年首届阿贝尔奖在内的无数荣誉。除学术成就外,他还被公认为一位杰出的阐述者和博学家,兴趣广泛,包括乒乓球、国际象棋和文学。塞尔终其一生都将数学视为对真理的优雅追求,是现代数学理论的主要构建者之一。