Hacker News new | ask | show | jobs
by nnarek 699 days ago
yes it is very impressive, especially autoformalization of problems written in natural language and also proof search of theorems