News for hackers. Stuff that matters.

A comment on OpenAI claims Gold-medal performance at IMO 2025. Parent comment

Re:OpenAI claims Gold-medal performance at IMO 2025 by aluminum96 on Saturday July 19, 2025 @01:11PM (#44617296)
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...

[ Parent | on HN ]

There are no comments on this comment yet.