KI-Umgebung FERMAT automatisiert Entdeckung mathematischer Theorien
Forscher haben die neue KI-Umgebung FERMAT vorgestellt, die Reinforcement‑Learning‑Algorithmen nutzt, um Konzepte zu entdecken und Theoreme zu beweisen. Durch die Verwendung von symbolischen Aktionen eröffnet FERMAT ein…