Andrej Bauer: Čaka nas razcvet matematike, kakršnega morda še ni bilo
RTV Slovenija pred eno uro | Avtor: Maja Ratej, Val 202
Umetna inteligenca bi lahko močno pospešila razvoj znanosti, hkrati pa postavlja pod vprašaj vlogo človeka v raziskovanju, trenutno razkazovanje moči na področju matematike odpira vprašanja o preglednosti dosežkov velikih tehnoloških podjetij.
Podjetje OpenAI je nedavno objavilo več sto novih matematičnih rezultatov, ki jih je ustvaril njegov še neobjavljeni model umetne inteligence. Gre za rezultate na področju matematike in teoretičnega računalništva, med njimi tudi za pomembne korake pri nekaterih dolgo odprtih matematičnih problemih. Obseg dosežkov navdušuje, hkrati pa odpira vprašanja o preverjanju dokazov, razumevanju matematičnih rešitev in prihodnosti raziskovalnega dela. OpenAI je 6. oktobra
