utworzone przez Redakcja | paź 30, 2026
Naukowcy stworzyli OpenFrontiers – zbiór ponad 12 000 otwartych problemów naukowych oraz benchmark 200 zadań matematycznych do oceny możliwości dużych modeli językowych w rozwiązywaniu problemów badawczych.
utworzone przez Redakcja | maj 25, 2026
Naukowcy przedstawili ImProver 2 – framework wykorzystujący sztuczną inteligencję do automatycznej optymalizacji formalnych dowodów matematycznych w języku Lean 4. System łączy modele neuronowe z metodami symbolicznymi, poprawiając jakość danych treningowych dla...
utworzone przez Redakcja | kwi 22, 2026
Naukowcy opracowali hybrydowy system AI + Lean 4 do analizy patentów z maszynową weryfikacją. Framework zastępuje ręczną analizę ekspertów i nieprzejrzyste metody ML formalnymi dowodami matematycznymi.
