Mathematicians
No mentions found
This entity hasn't been tracked yet, or Iris is still building its knowledge base.
Related Articles from SNS
The maths meme that has been distracting mathematicians for a century
Almost a century ago, a mathematician came up with a puzzle that was so seemingly simple and yet so fiendishly difficult that it has been distracting other mathematicians ever since. It has become a meme that jumps from brain to brain, with many people claiming to have solved it, only to have their hopes dashed as the proof unravels. And be warned – once I explain the rules, you will immediately want to start playing around with it yourself, and I take no responsibility for how much of your...
Mathematicians say 'don't believe hype' on AI capabilities
Mathematicians say 'don't believe hype' on AI capabilities Andrew Zinin Lead Editor Dozens of mathematicians signed a declaration Tuesday calling for the discipline to resist beating the drum for artificial intelligence developers. The "Leiden Declaration," backed by over 150 professors from across the world including Europe, Japan and the US, warned governments especially not to "believe the hype" about systems' math abilities. Their intervention follows claims of increasing capability from...
Dozens of mathematicians sign declaration against AI; say maths should remain a human endeavour
Dozens of mathematicians signed a declaration Tuesday calling for the discipline to resist beating the drum for artificial intelligence developers. The researchers warn that AI is putting fundamental values of the discipline under threat. The rise of AI is forcing mathematics to rethink what makes their field reliable and valuable.
Mathematician solves origami donut efficiency challenge with fewest folds
June 1, 2026 report Mathematician solves origami donut efficiency challenge with fewest folds Krystal Kasal Author Sadie Harley Scientific Editor Robert Egan Associate Editor Most people wouldn't think that it would take rigorous mathematical proof to show how many folds it takes to make a donut shape out of paper.
Mathematicians warn of AI threats to profession as industry encroaches
Mathematicians warned against rising tech industry influence in a declaration describing the many challenges that AI poses to mathematics research. The timing of the declaration comes two weeks after OpenAI publicized one of its AI models as having disproved an 80-year-old mathematical conjecture in geometry. The declaration was developed by a working group of 16 researchers over eight months following a conference held at Leiden University in the Netherlands in September 2025.
Mathematicians stunned by AI's biggest breakthrough in mathematics yet
Artificial intelligence built by OpenAI has cracked a decades-old conjecture by Paul Erdős, which mathematicians have hailed as a monumental moment for AI in mathematics
A golden age of maths is dawning and mathematicians are freaking out
I am attempting to solve a mathematical conundrum that has stumped many of humanity’s greatest thinkers. I have zero mathematical training, apart from a distant undergraduate physics degree, which should put my odds of success at slim to none. But I also have a trick up my sleeve – a kind of mathematical genie that can conjure arcane secrets seemingly out of thin air.
As A.I. Makes Strides in Mathematics, Mathematicians Urge Caution
OpenAI is just one of the artificial intelligence firms that has begun training its models in higher mathematics.
LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization
Announce Type: new Abstract: Long-horizon autoformalization of research mathematics fails not only at hard lemmas, but at scale: statements drift, dependencies tangle, context decays, and local repairs corrupt distant work. We present LeanMarathon, a multi-agent harness for reliable research-level Lean autoformalization. Its core abstraction is an evolving blueprint: a Lean file that serves simultaneously as formal proof skeleton, natural-language proof graph, and shared system of record.
Aim high but don't shoot for the moon, mathematicians advise
The article suggests that people should aim high but not shoot for the moon, as a mathematical model shows that being overly ambitious can lead to disappointment and decreased motivation. The optimal strategy is to set goals that are challenging but achievable, allowing for a sense of accomplishment and continued progress.