AI wygrałaby olimpiadę matematyczną

Modele językowe, będące podstawą ChatGPT czy Barda, zachwycają swoimi możliwościami generowania tekstów (nawet wtedy, gdy „halucynują”). Ale niemal zupełnie nie radzą sobie z rozumowaniem matematycznym. Program komputerowy, który potrafiłby np. przeprowadzić dowód twierdzenia, byłby bardzo istotnym krokiem naprzód w rozwoju AI. Wydaje się, że właśnie zrobili go badacze z laboratorium sztucznej inteligencji Google DeepMind i New York University, o czym informują w „Nature”.