麻省理工学院的研究人员开发了一种快速安全检查技术，利用平方和编程算法以100%准确性验证机器人轨迹的安全性，适用于复杂和拥挤的环境。该技术在几百毫秒内生成证明，显著提高了机器人操作的安全性和效率。