search
mathematicians
Trends
- 1Singapore government dating app uses stable matching algorithm▼Singapore govt dating app uses Gale-Shapley stable marriage algorithm
Singapore's government-backed dating app is reportedly built on the Gale-Shapley stable marriage algorithm, the classic matching method originally developed by mathematicians Lloyd Shapley and Alvin Roth. The pairing algorithm is designed to match users so that no two participants would both prefer each other over their assigned partners. The detail has drawn attention online, with commenters amused that a decades-old economics result underpins a state-run matchmaking service.
- 2
A detailed walkthrough explains how a proof written in the Lean proof assistant works, aimed specifically at software engineers rather than mathematicians. The post breaks down the structure and mechanics of a Lean proof step by step. It is drawing attention from developers curious about formal verification and how theorem provers can apply to everyday software work.
- 3OpenAI faces fresh anger from mathematicians●OpenAI Is Pissing Off a Bunch of Mathematicians--Again https://www.wired.com/story/openai-is-pissing-off-a-bunch-of-math
OpenAI has again drawn criticism from parts of the mathematics community, according to a Wired report on the company's latest clash with mathematicians. The word 'again' points to a recurring pattern of friction between the AI company and researchers in the field, though the specific details of the dispute are not outlined in the material available here.
- 4Mathematicians Confirm Optimal Packing of 11 Squares●Mathematicians Verify Optimal Packing of 11 Squares After Decades
Researchers have finally verified the optimal way to pack 11 equal squares inside the smallest possible container, settling a problem open for decades. The proof confirms longstanding conjectures in discrete geometry. Mathematicians are celebrating the result as a rare advance in packing theory, a field with links to logistics, coding, and materials science.
- 5AI Cracks a 90-Year-Old Math Problem in 88 Hours●How AI Solved a 90-year old Math Problem in 88 hours
Artificial intelligence has reportedly solved a mathematics problem that had stood unsolved for roughly 90 years, completing the work in just 88 hours. The achievement is drawing wide attention online, with many people pointing to it as striking evidence of how quickly AI tools are beginning to contribute to genuine scientific and mathematical breakthroughs rather than routine tasks.
- 6
A new discussion asks whether artificial intelligence has cracked one of mathematics' hardest unsolved problems. The topic is drawing wide attention as AI systems increasingly take on research-level math, with commentators debating whether a genuine breakthrough has been achieved or whether the results still need human verification. Scientists and mathematicians are weighing in on what such a milestone would mean for the future of mathematical research.