> ...directly in the field (yes, math is VERY diverse). LLMs are getting smarter than the experts themselves, and I’m not sure we have enough bright human minds to verify everything that will come out of them in the coming years. Remember when we compared AI intelligence to PhD students? I think we’re past that.
>  
> — Pavel
>  
>  
> Seems like if an expert human can’t validate a proof then they wouldn’t be able to truly validate the proof the LLM claims to be true, but maybe I’m missing something
>  
> — Robert
>  
>  
> There are people who can validate it in reasonable time but these experts are very few. Probably hundreds globally for most of these problems. Random math PhD won’t be able to tell within 1-2 hours because they work in a different domain.
>  
> — Pavel

Source: https://x.com/baltabaev/status/2083738966516207656/history

---

> An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
>
> We believe it will be a major step for scientific reasoning. https://t.co/iP6cyheZ7i https://t.co/jHuulDwV46
>  
> — Noam Brown

Source: https://x.com/polynoamial/status/2083467194663571701

"I’ve spent well over 10,000 hours studying math in my life, yet I can’t understand these proofs, at least not without weeks of digging deep into each topic. What’s more, none of my math PhD friends know much about these problems either, and they can’t verify most of them without working..."