Hacker News new | ask | show | jobs
by aluminum96 337 days ago
OpenAI explicitly stated that it is natural language only, with no tools such as Lean.

https://x.com/alexwei_/status/1946477745627934979?s=46&t=Hov...