OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
Le ministère allemand des Transports a annoncé ce mardi 6 octobre un accord avec Tesla sur le FSD, son système d’aide à la conduite, qui pourra dépasser les limitations de 10 % au maximum. Berlin promet désormais de pousser pour son homologation dans toute l’Union européenne.