5 ms·
OpenAI explicitly stated that it is natural language only, with no tools such as Lean. https://x.com/alexwei_/status/1946477745627934979?s=46&t=HovHm20yH7V3qoa
by aluminum96 1y 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=HovHm20yH7V3qoaToWuCMA https://x.com/alexwei_/status/1946477745627934979?s=46&t=Hov...