Can AI Solve Hundred Year Old Math Problems?

Greg Brockman says AI can resolve hundred year old math problems, and whether AI can come up with new knowledge now has a definitive yes.

He calls the math results a real milestone. Over the past thousand years, technology and scientific advancement have driven improvements in human quality of life, and he says the world now has the ability to massively accelerate scientific discovery. Models are not yet coming up with whole grand new theories. What excites him is what a human equipped with the tools can achieve that was unthinkable before. Human leverage to do whatever a person wants is going way up. If someone has a math problem to solve, that person can solve it. Early models had problems with arithmetic. People complained that a model could not do basic math. Now models are solving advanced theorems.

He says the same capability can apply to biology and to a small business owner who wants to operate a business well. Intelligence tuned for a domain puts results aligned with a person's goals and desires within reach of everyone.