Follow news and analysis in the Mathematics category on Curious Tech Portal, written from studies, universities and other primary sources of research.
Showing 1–5 of 5
Mathematics
Researchers rushed to publish a new math paper after hearing that artificial intelligence was about to release a proof of the famous unique games conjecture. The evidence consists of a newly posted online paper and an announcement from an artificial intelligence company.
Quanta Magazine3 min read
Mathematics
A guest essay by Raghu Meka suggests that mathematicians often avoid difficult problems because of unproven assumptions about what is impossible. The evidence is based on personal reflections and recent observations rather than a formal scientific study.
Terence Tao (UCLA)2 min read
Mathematics
OpenAI released 372 results produced by an internal AI model that it says solve long-standing open problems in mathematics and theoretical computer science. This summary comes from a blog post by computer scientist Scott Aaronson; only some results have machine-checked Lean certificates, and almost none of the proofs have yet been understood by human experts.
Scott Aaronson (UT Austin)3 min read
Mathematics
A guest post on Terence Tao's blog announces a postdoctoral position at EPFL to explore how formal proof checking with Lean and AI tools can help with numerical analysis, the maths behind computer simulations. It is a job advertisement, not a research result.
Terence Tao (UCLA)3 min read
Mathematics
Mathematician Terence Tao posted graduate course notes on the Hardy-Littlewood maximal inequality, a basic result about how the averages of a function behave, giving several different proofs and showing how it leads to results such as the Lebesgue differentiation theorem. These are teaching notes on established mathematics, not new research.
Terence Tao (UCLA)3 min read