UCSD: Large Language Models Pass the Turing Test

Created 23d | Apr 2, 2025, 4:20:13 PM


Login to add comment

Other posts in this group

Show HN: Formalizing Principia Mathematica using Lean

This project aims to formalize the first volume of Prof. Bertrand Russell’s Principia Mathematica using the Lean theorem prover. Throughout the formalization, I tried to rigorously follow Prof. Ru

Apr 25, 2025, 8:30:10 PM | Hacker news