In October 2024 I attended a workshop at Harvard University where mathematicians talked through the uses of artificial intelligence in their field. Most were less worried about the future of math than ...
A 23‑year‑old amateur maths enthusiast, Liam Price, used ChatGPT‑5.4 Pro to solve one of Erdős’s long‑standing “primitive set” problems, which had remained unresolved since the early 1960s.
OpenAI Group PBC today launched a new large language model that is significantly better than its predecessors at solving math problems and writing code. GPT-5.5 is rolling out a week after rival ...
New Haven’s police chief, Karl Jacobson, resigned abruptly after his deputies saw red flags, including missing money. He has pleaded not guilty to embezzling city money to gamble on sports. By Hurubie ...
Debates over how geometry is understood and learned date back at least to the days of Plato, with more recent scholars concluding that only humans possess the foundations of this understanding.
A Polish mathematician who once described artificial intelligence as “a very advanced calculator” has been left stunned after an AI model managed to solve a research-level mathematics problem he spent ...
Earlier this month an artificial intelligence (AI) startup announced that their AI agent had confirmed a proof of two cases of the devilishly challenging "higher dimensional sphere-packing problem." ...
Being a proud owner of a Sony PlayStation 5 means you have access to one powerful machine that can play demanding AAA titles from God of War Ragnarök to legacy semi-indies like Clair Obscur: ...
GPT just keeps getting better at mathematics, increasingly solving the trickiest of problems. In January, AI testing company Epoch AI found that a previous version of the AI model, GPT-5.2 Pro had ...
GPT-5.4's 83% score suggests AI rivals expert professionals. Tests span nine industries and 44 real-world occupations. New capabilities boost coding, tools, and computer control. It seems like only ...
One idle evening last October, Mehtaab Sawhney took up an old pastime. He began perusing the website erdosproblems.com, an updated record of the 1,179 conjectures left behind by the eccentric and ...