El controlador de tecnología automotriz de Intel, Mobileye, recientemente publicó un informe técnico que afirma que la industria de la conducción necesita un modelo matemático para eliminar la responsabilidad de conducir un accidente de coche para garantizar la seguridad del coche. Aunque los expertos creen tentativamente que Mobileye introdujo este modelo matemático, demuestra que Mobileye está profundamente en el pensamiento sobre la seguridad de conducir y da la evaluación positiva. Pero también hay preguntas, tales como cómo definir la seguridad demostrable (provablemente Safe), y que el modelo matemático todavía tiene algunos problemas que resolver, incluyendo si es posible aprender las lagunas legales y regulatorias de la perforación humana. Según EE Times, el informe fue escrito por el Vicepresidente Senior de Intel, el CEO de Mobileye, Amnón Shashua y el Vicepresidente de tecnología de Mobileye, Shai Shalev-Shwartz, y dos autores explicaron en sus informes que sus políticas eran de seguridad demostrable, En este sentido no conducirá a la responsabilidad de accidente automotriz. Missy Cummings, profesora de la Universidad de Duke en los Estados Unidos, señala que la seguridad demostrable no es totalmente nueva y que la parte más del problema permanece inalterada. En Resumen, los informáticos son considerados como seguridad demostrable desde un punto de vista matemático, no como prueba de seguridad de manera que un ingeniero de pruebas considere seguro. Cummings y el Profesor Phil Koopman de la Universidad de Mellon en los Estados Unidos señalan que los supuestos de Mobileye no deben ser tomados por sentado, tales como los supuestos sobre errores de software (bugs de software), porque los problemas potenciales causados por errores de software son muy pequeños. Koopman una preocupación importante es si el problema del LiDAR y de la avería del radar es igual que el caso hipotético discutido por el Mobileye, que debe probar la autenticidad de la aplicación, no apenas la Asunción. Aun así, Koopman todavía está seguro de esto, después de todo, Intel ha abierto una hipótesis de prueba y está preocupado por la posibilidad de aprender a perforar las lagunas legales en el futuro. Conducción general en el camino real al conducir, mucho tiempo sabrá lo que las reglas generales de la carretera tienen agujeros para perforar, a lo largo de los años para aprender a utilizar estas vulnerabilidades. Si este es el caso para los humanos, ¿por qué no tienen la capacidad de conducir su propia discreción? En este caso, ya que la conducción no puede violar las normas de seguridad vial bajo la premisa de encontrar la laguna legal de perforación de la forma autónoma de conducción. Koopman también cree que los humanos deben esperar que el aprendizaje de la máquina (ml) sea adepto en el aprendizaje de cómo taladrar los agujeros. Koopman básicamente estuvo de acuerdo con el informe Mobileye, pero si la seguridad y la "no mi culpa" fueron equiparadas, podría haber trampas, y tal validación matemática formal podría resultar verdadera en principio, pero tales suposiciones podrían no ser posibles en el mundo real. En conclusión, esto sigue siendo un punto de partida razonable para el futuro de la seguridad de conducción, pero se recomienda que usted todavía necesite crear un sistema de seguridad que pueda funcionar realmente, en cuyo caso cualquier vulnerabilidad no es un problema.
