微软宣布已经收购了Express Logic——一家相对低调但有影响力的软件制造商,其技术可以为全球大部分互联网连接的设备提供支持。
微软尚未披露这次收购的交易条款,不过考虑到Express Logic在互联设备生态系统中所扮演的突出角色,收购价格有可能是相当可观的。
Express Logic打造了ThreadX——一种专门用于功率受限的小型电子产品的操作系统,从智能灯泡到工厂中用于生产调度的工业控制系统,大多数应用中都可以找到ThreadX的身影。
ThreadX甚至被用于太空任务中——NASA选择了ThreadX为2005年从卡纳维拉尔角起飞的Deep Impact探测器提供动力。Express Logic方面称,自20多年前首次发布以来,ThreadX已经总计部署在62亿台设备上。
ThreadX平台最显着的特点是占用空间小,只需要几兆的存储空间即可安装,并且启动只需要不到120个处理器周期。
ThreadX将成为补充微软自主开发的Azure Sphere操作系统在互联设备领域的一个补充。Azure Sphere软件也相当轻巧,但对于某些低功耗系统来说可能过于耗费资源,这次收购正好填补了这一空白。
微软Azure IoT总监Sam George在博客文章中解释说:“我们会向客户推荐使用Azure Sphere实现最安全的云连接,但是Azure Sphere在高度受限的设备中无法使用,所以在这个领域我们会推荐使用Express Logic的ThreadX RTOS,而不是其他RTOS选项,因为它具有额外的认证以及与Azure IoT Hub的现成连接。”
IoT Hub是微软Azure公有云中的一套互联设备管理服务。收购完成后,微软可能会在ThreadX及微软云服务之间增加更多集成以推动企业采用Azure。
ThreadX目前也还在为AWS和Google云平台提供连机器,微软方面没有具体说明收购后是否会继续提供这些支持。
好文章,需要你的鼓励
科技亿万富翁拉里·埃里森资助的研究团队将向英国牛津大学投资1.18亿英镑,用于将AI技术应用于疫苗研究。牛津疫苗研究小组将领导这一项目,研究人体免疫系统对严重细菌感染和抗生素耐药性的反应。该项目由曾主导新冠疫苗试验的安德鲁·波拉德教授领导,计划采用人体挑战模型,让志愿者在受控条件下接触细菌,然后运用现代免疫学和AI工具来精确识别预测保护效果的免疫反应,以开发针对致命疾病的创新疫苗。
伦斯勒理工学院研究团队通过网络科学方法首次系统揭示了大语言模型的内部"认知架构"。研究发现AI模型采用类似鸟类大脑的弱定位架构,模块间通过分布式协作而非专业化分工来处理认知任务。这一发现颠覆了基于功能模块优化的传统思路,指出应充分利用网络级协作来提升AI性能。
据报道,ChatGPT开发商OpenAI计划在印度建设一座耗电量超过1吉瓦的数据中心,目前正寻找当地合作伙伴。该设施预计可容纳至少5.9万片英伟达B200芯片。这可能是OpenAI全球数据中心计划的一部分,旨在为国际用户提供更低延迟服务。OpenAI CEO奥特曼将于下月访问印度,公司还计划年底前在新德里开设办事处。
腾讯和清华研究团队首次从数学理论角度解释了为什么AI需要外部工具。研究证明纯文本AI存在"隐形枷锁",无法突破预训练的能力边界,而工具集成能打破这种限制,让AI获得全新的问题解决策略。团队还开发了ASPO算法,解决了训练AI更早使用工具的技术难题。实验显示配备工具的AI在数学问题上全面超越纯文本版本,展现出三种新奇认知模式,为构建更强大的AI系统提供理论指导。