2 ms·
Hm, maybe if AI is powerful enough to crack our hardest math problems, we could demonstrate that by cracking one of our hardest math problems. It's not hard to
by thaumasiotes 14d ago
Hm, maybe if AI is powerful enough to crack our hardest math problems, we could demonstrate that by cracking one of our hardest math problems. It's not hard to know what they are.
- dgellow 14d agoIt’s referring to the Navier-Stokes problem allegedly solved by OpenAI (likely with guidance by human experts working at OpenAI, plagiarism of human experts who were customers of OpenAI, Lean, and a lots of compute). The headline and article are not great but that specific claim isn’t really far fetched