what do you think? they have just now released even more math salutions made by AIhttps://www.scientificamerican.com/article/openai-unleashes-hundreds-more-math-results-upon-a-field-already-in-shock/OpenAI says an unreleased internal model has produced 330 results that either resolve or make substantial progress on open problems in mathematics and theoretical computer science. The company says almost all were generated by a single AI agent from a single prompt. "This would be a striking difference from OpenAI's earlier blockbuster solution to the Navier-Stokes problem, which was produced through the collective efforts of a 10,000-strong agentic swarm that cost millions of dollars in computing power," reports Scientific American.OpenAI revealed the results in a GitHub repository at 6 P.M. EDT. The deluge will take mathematicians months to parse through and understand -- including to determine whether the proofs contain novel and important ideas or are mostly mash-ups of existing techniques. But many of the results have already been verified in Lean -- a programming language that validates a proof's logic -- and are therefore all but certain to be correct.Among the results claimed are a solution to the four-dimensional >Kakeya conjecture,(this one is funny because kakeya means pooper in Finnish)improvements on some of the world's most important computer algorithms and actual progress toward math's scariest problem, the Riemann hypothesis.
