AI models are starting to crack high-level math problems | AI 资讯 | 云织星·工具台
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.
如页面未自动加载，请开启 JavaScript。