Automatyczny asystent do weryfikacji hipotez w algebrze i teorii grup
W 2024 roku grupa matematyków z Uniwersytetu Jagiellońskiego spędziła trzy miesiące na poszukiwaniu kontrprzykładu dla jednego z problemów z Zeszytu Kourovki. Ostatecznie błąd rachunkowy wynikający z ręcznego upraszczania symboli unieważnił pół roku pracy nad publikacją.…
