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 ...
In new research, mathematicians have narrowed down one of the biggest outstanding problems in math. Huge breakthroughs in math and science are usually the work of many people over many years. Seven ...
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 ...
A ChatGPT AI has proved a conjecture with a method no human had thought of. Experts believe it may have further uses ...
You can probably think of a time when you’ve used math to solve an everyday problem, such as calculating a tip at a restaurant or determining the square footage of a room. But what role does math play ...
A new preprint math paper is lighting up the airwaves as mathematicians tune in for a possible breakthrough in a very old, very sticky problem in number theory. Riemann’s hypothesis—concerning the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results