英伟达推出了一项新的收入分成计划,旨在帮助快速成长的人工智能初创公司获得关键的计算能力。根据该计划,初创公司可以获得英伟达基础设施的代币抵扣额度,作为交换,这些公司需将其未来产品和云服务收入的一部分分给这家芯片制造商。通过充当中介,英伟达直接提供了对高需求 GPU 资源的使用权,而这些资源已成为人工智能领域稀缺且昂贵的商品。 该计划的首批合作伙伴包括 Sharon AI 和 Firmus Technologies,两家公司目前都在建设由数万枚英伟达 GPU 驱动的大型数据中心。这一转变凸显了行业内的一个广泛趋势:资金紧张的 AI 公司正越来越多地通过出让股权或未来收入来换取必要的硬件。此举正值英伟达持续巩固其市场地位之际,该公司近期宣布计划筹集至少 200 亿美元的债务,以支持其企业运营和持续扩张。
市政垃圾收集日历通常是涵盖整个区域的繁杂文档,既难以阅读,又往往与个别家庭无关。为了解决这个问题,作者每年都会制作一份个性化且适合张贴在冰箱上的日历。
作者利用 Python 的 `calendar` 模块构建了一个自定义的 `HTMLCalendar` 类,为每个日期分配了唯一标识符(ID)。这使得他们能够生成简洁的月度网格,并可以通过 CSS 进行样式设计。通过手动将自己住址的特定收集日期添加到样式表中,他们能够用鲜明的颜色和粗体文字高亮显示垃圾回收日。
最终生成的单页 HTML 文档易于打印,可以一目了然地查看垃圾收集安排。这项只需五分钟的简单工作,不仅节省了全年的时间,还有助于作者高效管理垃圾处理。
回顾数十年的计算生涯,作者分享了一份精心整理的键盘清单,这些键盘塑造了其职业生涯并带来了舒适的使用体验。
这段旅程始于经典的 **IBM Model M**,它因其类打字机的触感而备受推崇。作者后来发现了 **Model M SSK(节省空间键盘)**,它通过移除数字小键盘改善了人体工学。清单中还包含了一款独特的 **NMB RT-9100W ConcertMaster**,这是约翰·卡马克(John Carmack)在开发《雷神之锤》(Quake)和《毁灭战士3》(Doom 3)期间使用的经典键盘;尽管其薄膜按键较为罕见,但其内置音频系统的表现至今无人能及。
为了应对重复性劳损(RSI)和手腕不适,作者转向了人体工学分体式键盘。虽然 **Ergodox EZ** 服务了作者十年之久,但由于其在极端倾斜时的稳定性问题,作者最终选择了 **ZSA Moonlander**。配合专用的底座配件,Moonlander 将人体工学定制化与稳固的稳定性完美结合。对作者而言,Moonlander 是终极且无可替代的键盘体验。
这份摘要提炼了作者对数学、人工智能的影响以及人类直觉本质的探讨。
数学的根本在于清晰与理解,而非仅仅是定理的机械推导。作者指出了“官方数学”(形式化、二元且公理化的)与“秘密数学”(构建框架时人类直觉与认知的过程)之间的张力。从历史上看,数学界的“荣誉准则”优先考虑定理证明,这曾是衡量概念创新的可靠且唯贤的代名词。
然而,人工智能的兴起威胁到了这一范式。人工智能能够利用“悬而未决的问题”(现有数学文献中潜藏的联系),以人类无法企及的速度和规模解决问题。尽管人工智能擅长技术性解题,但它缺乏人类在“经典化”和概念构建方面的感悟能力。其风险在于,人工智能可能产出“数学垃圾”——即正确但难以理解的证明,而公众可能会因此误以为数学只是一场“已被解决”的博弈游戏。
为了在这一革命中生存,数学界必须抛弃其疏离的荣誉准则。数学家必须强调,工作的真正价值在于拓展人类的认知能力,而非追求定理的生产指标。数学仍是人类理解世界不可或缺且永无止境的工具,其存续取决于能否确立其在人类进化中的作用,而非沦为无意识的自动化产物。