Varto proves complete PutnamBench AI math benchmark in Isabelle

(varto.ai)

2 points | by simonbohnen 5 hours ago ago

No comments yet.