AI models are starting to crack high-level math problems | TechCrunch

Key Takeaways

• Over the weekend, Neel Somani , who is a software engineer, former quant researcher, and a startup founder, was testing the math skills of OpenAI’s new model when he made an unexpected discovery.
• After pasting the problem into ChatGPT and letting it think for 15 minutes, he came back to a full solution.
• He evaluated the proof and formalized it with a tool called Harmonic — but it all checked out.