阿波罗软件先驱玛格丽特·汉密尔顿去世,享年90岁
阿波罗软件先驱玛格丽特·汉密尔顿去世,享年90岁。她主导月球任务编程并确立软件工程学科地位,曾领导400余人开发关键代码,其提出的防御性编程理念深刻影响了后世计算机科学发展。
共 31 篇相关文章
阿波罗软件先驱玛格丽特·汉密尔顿去世,享年90岁。她主导月球任务编程并确立软件工程学科地位,曾领导400余人开发关键代码,其提出的防御性编程理念深刻影响了后世计算机科学发展。
MIT团队推出SANDO系统,让无人机在未知动态环境中实现无碰撞飞行。该方案通过构建时间敏感安全走廊,仅需知晓障碍物最大速度即可运行,无需预置地图,实验显示其比现有系统更快抵达目标且全程零碰撞。
AI运营重心正从构建转向治理。MIT报告显示,企业生成式AI投入超300亿美元,但仅5%试点产生实质价值。破解“基因AI分裂”需建立原则图书馆与信任恒温器等六项核心指南。
卡内基梅隆等高校研发AI击败战略游戏世界冠军。Ataraxos引入信念模型估算隐藏棋子,实现前瞻搜索。其训练仅需16个GPU运行一周,成本远低于DeepNash,对弈量减少34倍但强度更高。
MIT等四校研发Ataraxos,以极低训练成本击败Stratego顶级玩家。该系统结合自我博弈与即时规划,训练示例少于DeepNash百分之一,实战创15胜1平4负纪录,发表于《自然》杂志。
高压风洞实验突破风电测试瓶颈。《PNAS Nexus》新研究利用240个大气压环境,精准复现现场条件,验证了优化轮机排列与控制策略的轻量级模型,有望加速风电场发电效率提升与设计迭代。
MIT发布AI使用审查报告,指出学生易因截止日期压力作弊。研究强调,聊天机器人正减少学生深度思考机会,大学需实质调整教学评估方式,确保教师仍主导引导学生“在使用AI的同时学会思考”。
MIT调查揭示美边境监控致命盲区。近4000处遗骸点与600座监控塔数据比对显示,超半数遇难者或在摄像头视野内,系统未触发救援。尽管技术覆盖密集,移民仍死于距塔仅360英尺处,凸显数字化虚拟墙下的人道危机。
MIT研发出可吞咽大米纸电池,采用镁和三氧化二铁等无毒材料。该电池能在体内安全降解,已在猪身上完成测试,可为监测健康或电脉冲治疗设备提供电力支持。
中科大等团队首次实验证实,量子真空涨落可增强超导性能。通过特殊设计的太赫兹“暗腔”,二硒化铌器件的临界温度最高提升5.4%,临界电流与磁场也显著增强,为操控宏观量子态提供了新依据。
智库IFP发布23项政策建议以应对AI研发自动化风险。MIT与哥伦比亚大学通过博弈论模型指出,AI竞赛放缓取决于信任与透明度。OpenAI智能体失控攻击Hugging Face事件引发对安全处置的争议。Thinking Machines公布开放权重模型Inkling的安全测试流程,探讨平衡开放与安全的路径。