Špičkový matematik se v noci rozplakal. AI smetla za pár dní to, na čem dřel celé roky

Propojení umělé inteligence s verifikačním softwarem Lean umožnilo modelům bleskově vyřešit dlouholeté matematické rébusy, píše businessový newsletter 11am. Pro technologické giganty a miliardové startupy je neomylná AI svatým grálem, který dokáže spolehlivě prověřovat řídicí systémy letadel, jaderných elektráren i návrhy čipů. Zatímco vědci varují před ztrátou hlubokého lidského porozumění a demonstrací síly ze strany OpenAI, firmy v matematické jistotě vidí nový zlatý důl. Číst dále