IFLScience on MSN
Massive new database of the hardest math problems is now open to everyone – including AI programs
Have you ever wondered whether mathletes can go pro? Since 1959, the answer has been “yes” – with the height of achievement ...
A 23-year-old with no advanced math degree used GPT-5.4 to produce a proof for an Erdős problem unsolved for over 60 years.
GPT-5.4 Pro cracked a conjecture in number theory that had stumped generations of mathematicians, using a proof strategy that ...
A ChatGPT AI has proved a conjecture with a method no human had thought of. Experts believe it may have further uses ...
What if the secrets to the universe’s most perplexing mathematical riddles were no longer locked away, but instead cracked open by an artificial mind? In a new development, OpenAI’s o3-mini model has ...
OpenAI just won gold at the world's most prestigious math competition. Here's why that's a big deal.
OpenAI's latest experimental model is a math whiz, performing so well on an insanely difficult math exam that everyone's now talking about it. "I'm excited to share that our latest @OpenAI ...
AI thrives on data but feeding it the right data is harder than it seems. As enterprises scale their AI initiatives, they face the challenge of managing diverse data pipelines, ensuring proximity to ...
The verdict, it seems, is in: artificial intelligence is not about to replace mathematicians. That is the immediate takeaway from the “First Proof” challenge—perhaps the most robust test yet of the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results