Topic
mathematics
19 stories related to this topic, newest first.
New Scientistscience4 hrs ago
Maya Inscriptions Name Astronomer-Mathematician and Record Planetary Orbit Calculations
New Scientist reported the identification of Sak Tahn Waax from 1200-year-old hieroglyphs at Xultun, Guatemala. The text details calculations linking Venus and Mars cycles to Maya calendars. It is the oldest known named astronomer-mathematician from the Americas.
arlnow.comscience26 days ago
Mathematician Known for Theoretical Work and Student Advocacy Dies at 88
A mathematician recognized for contributions to his field and efforts to increase participation by minority students has died. He reached the age of 88.
New Scientistai26 days ago
AI Shows Gains in Mathematics but Depends on Human Input
Artificial intelligence systems have demonstrated stronger performance on mathematical tasks in recent tests. Researchers report that these advances still require human mathematicians to verify results and apply findings.
rismedia.comai28 days ago
AI Models Score 6 out of 10 on Novel Research-Level Math Problems
Four AI systems attempted ten unpublished mathematics problems created by researchers. A panel of mathematicians graded the answers and found the top model reached 6 out of 10.
NA
Science Newstechnology35 days ago
OpenAI Model Produces Counterexample Disproving Erdős’s 1946 Unit Distance Conjecture
An AI model generated a mathematical proof that disproved Paul Erdős’s 1946 unit distance conjecture. The result was posted May 20 and reviewed by outside experts.
thequantumdaily.comworld35 days ago
Los Alamos Team Supplies Missing Neutral Axis in Schrödinger’s 1920s Color Perception Model
Scientists at Los Alamos National Laboratory finished a geometric framework for hue, saturation and lightness that completes Erwin Schrödinger's 1920s model.
Rapplerai35 days ago
Nearly 2,000 Mathematicians Sign Leiden Declaration on AI Use and Human Oversight in Research
Signatories from Harvard, Oxford, Columbia, and Cambridge urge public regulation and mandatory disclosure of AI use in research papers.
flipboard.comai36 days ago
Start-ups hire mathematicians to build AI systems that verify their own math proofs
Several AI companies have raised hundreds of millions of dollars to develop systems that solve mathematics problems and verify the correctness of their outputs. The firms aim to use mathematical verification methods to reduce errors in AI-generated code and proofs.
Science Newsscience42 days ago
Physicist’s notes show math solution for choosing among restaurants
Researchers decoded notes left by physicist Richard Feynman that outline an optimal strategy for selecting restaurants over multiple nights. A survey of more than 2,500 people found participants used a simpler approach that produced similar results.
flipboard.comai42 days ago
AI Tools Contribute to Solutions of Several Erdős Problems and Longstanding Conjectures in 2025–2026
OpenAI and Google tools produced verified solutions to long-standing number-theory questions, while mathematicians met in San Francisco to assess the shift.
pymnts.comai48 days ago
OpenAI Chatbot Disproves Erdős Conjecture on Unit-Distance Problem
An OpenAI chatbot produced a counter-example to a 1946 geometry conjecture by Paul Erdős. Independent mathematicians verified the result, which the company announced on 20 May.
NA
cicnews.comai51 days ago
AI Systems Solve Erdős Problem Without Specialized Training
A non-mathematician used ChatGPT to solve Erdős problem #1196. The solution employed an approach that differed from prior human attempts. Researchers at OpenAI and Google DeepMind reported continued progress on longer proofs.
NA
Science Newsscience52 days ago
Math Puzzle Challenges Ant to Find Shortest Surface Paths on 3-D Shapes
A June 2026 math puzzle presents four problems involving an ant traveling across the surfaces of a cube, rectangular prism, cylinder, and cylindrical shell. Each problem asks for the shortest path length to reach food at an opposite corner or edge.
benzinga.comai53 days ago
OpenAI Model Solves 80-Year-Old Erdős Geometry Conjecture
An artificial intelligence model from OpenAI produced a solution to the planar unit distance problem, a conjecture posed by mathematician Paul Erdős. The result shows that certain non-grid arrangements of points can produce more equal-length connections than previously thought po…
benzinga.comai53 days ago
General Purpose AI Model Solves Longstanding Math Problem
A general-purpose AI model developed by OpenAI has solved a prominent open problem in mathematics. The achievement involved disproving an 80-year-old conjecture without using specialized mathematical tools.
BI
manilatimes.nettechnology54 days ago
General-Purpose AI Model Solves Major Open Mathematics Problem
A general-purpose AI model has solved a previously unsolved problem in mathematics. The development marks a milestone in the use of AI systems for scientific discovery.
SA
newscientist.comscience83 days ago
Mathematicians Launch Lean Formalization Efforts for Disputed ABC Conjecture Proof
Two separate efforts are underway to formalize Shinichi Mochizuki's controversial proof of the ABC conjecture in Lean, including a secretive project that has hit a roadblock. The initiatives aim to resolve a long-standing debate in number theory. @NewScientist reported on the dev…
NE
Substrate placeholder — needs reviewscience89 days ago
Mathematician Kevin Buzzard Trains Computers to Prove Fermat’s Last Theorem
Kevin Buzzard, a mathematician at Imperial College London, is leading efforts to formalize the 1998 proof of Fermat’s last theorem using computer programs. The project aims to verify the 130-page proof and build a digital library of mathematics. Formalization translates theorems…
Substrate placeholder — needs reviewworld92 days ago
David Sklansky, Poker Author and Player, Dies at 78
David Sklansky, a professional poker player and author, died on March 23, 2026, in Las Vegas from congestive heart failure. He was 78. Sklansky wrote books that applied mathematical concepts to poker strategy.