Install
Technology and Tools
The instruments of Algebra.
- 2 Subtopics
- 18 Tracked terms
- Last 30 days Feed window
Inside Technology and Tools
What this topic collects on
An article joins this feed when it matches these terms. Each one is also a search of its own.
Latest in Technology and Tools
A Chinese AI Model Helped Crack a 30-Year-Old Math Conjecture
8+ hour ago (428+ words) Trending on Weibo Stay updated with the latest news and trends. Categories, quick links and the newsletter. A Chinese AI Model Helped Crack a 30-Year-Old Math Conjecture Shanghai Artificial Intelligence Laboratory says its scientific multimodal model Shusheng-S2 helped prove the…...
The Sofa Problem That Stumped Mathematicians for 60 Years
4+ hour, 17+ min ago (196+ words) Anyone who has tried to move a large sofa through a narrow hallway knows the moment when ordinary intuition begins to fail. The sofa fits through the corridor, the doorway is wide enough, and yet at the corner everything stops....
I Went Through Hundreds of Calculus Examples — These 20 Explain the Ideas That Matter Most
3+ hour, 37+ min ago (1644+ words) Calculus is one of the most powerful branches of mathematics, but understanding it requires more than memorizing formulas and following procedures. Many students can solve familiar problems yet struggle to explain the ideas behind their calculations. The key to mastering…...
Will physics be the next field to be turned upside down by AI?
2+ hour, 3+ min ago (754+ words) AI has grown so adept at solving mathematical puzzles that critics fear the flood of new proofs it creates will overwhelm academics and actually set the field back. Until now, AI has had limited impact on other areas of science,…...
Chinese AI Model Helps Prove 31-Year-Old Math Conjecture With Machine-Verified Lean Proof
2+ hour, 18+ min ago (875+ words) According to Shanghai AI Laboratory's own announcement, reviewers familiar with the field noted the final proof exceeds the analytical depth that would have been anticipated from a purely human effort on this timeline. That claim originates with the laboratory and…...
Navier–Stokes, AI and maths integrity
2+ hour, 27+ min ago (98+ words) •Olaniyi holds a Master’s of Science in Energy Policy. ALSO READ: One dead, 20 injured as passenger bus somersaults, catches fire in Kwara OGUN State is positioning itself for a new phase of industrial expansion, with a potential… THE tragedy at…...
As inscrutable AI proofs emerge, mathematicians wait in the dark
4+ hour, 3+ min ago (606+ words) Published - October 16, 2026 09:30 am IST - NEW DELHI The French mathematician Hugo Duminil-Copin, who won the Fields Medal — mathematics’ Nobel — in 2022 for his work on phase transitions in statistical physics, said in a video call of the French Mathematical Society on October…...
Kakeya Sets and Related Problems
1+ day, 10+ hour ago (225+ words) Bringing people and ideas together to fund, conduct, and share transformative science. Our grants advance knowledge and strengthen connections between science and society. Discover the latest news, research, and updates. We convene scientists, mathematicians, and thinkers to share ideas and…...
Two Controllers, One Pendulum: A Dead Heat in the Battle Against Gravity
7+ hour, 11+ min ago (796+ words) Deep in a laboratory in Jacarezinho, Paraná, a slender metal rod hangs from a pivot, defying one of the most stubborn laws of classical mechanics. A pendulum wants to fall. Left alone, it swings down and stays down....
Frontier AI Systems Solve up to 9/10 Problems in First Proof Benchmark; Open-Weight Entrant Solves None
1+ day, 10+ hour ago (199+ words) October 14, 2026 — The results of First Proof’s third test of AI on research mathematics indicate that the gap between open-weight and closed systems in this context is substantially wider than the roughly four-month lag that Epoch AI measured across general AI…...