Linköping University professor Peter Jonsson is set to have his work presented in two weeks’ time at one of the most prestigious conferences in theoretical computer science. As of Monday, much of that work is “dead,” he says, after AI…
TLDR: I explain what the technical AI alignment problem is and what its core difficulties are, in my view. This is a perspective that draws simultaneously on classical traditions in theoretical computer science / machine learning theory, ideas from analytic philosophy,…
The proofs and prompts website contains posts which represent a wide variety of opinions, and it is not difficult to find posts by people who are angry. One prominent example is Vlad Lazic’s post here. Lazic has outlined his views…
Local News Matters “40 HOURS, $2M+ AI CREDITS, solve an open problem.” So read the splashy announcement for the “Mathathon” at the California Institute of Technology in Pasadena. Dozens of teams would work to solve vexing math problems with the help of…
Meta's FAIR team says its AI models helped mathematicians crack six open research problems across several fields Meta says its AI models helped mathematicians solve six open research problems spanning a range of mathematical fields. The company is sharing the…
Carnegie Mellon University Professor of Mathematics Po-Shen Loh is a visionary mathematician who combines math, science, and technology –– and occasionally acting –– as one. Loh grew up in Wisconsin. His mathematical journey started when he was young, with lessons from his…
Newswav Courtesy of author I had written about Anand Kumar back in 2014, when his efforts to change the landscape of rural Bihar were in their infancy He came to my attention when I watched a documentary about his ambition to…
30 years of KIAS: Interview with Professors Keum Jong-hae and Efim Zelmanov Marking the 30th anniversary of KIAS, the two professors, who met at KIAS, agreed that the value of basic mathematics does not diminish in the AI era. They explained that…
What's next: Caltech students redesigned a math competition, initially sponsored by big AI companies, after facing backlash from the math community. Why it matters: Mathematicians opposed to the event argued that using AI for research would have little value to…
Nvidia CEO Jensen Huang says AI could make some traditional skills, including basic mathematics and memorisation, less important as students become better systems thinkers. His comments come as tech leaders debate the risks of rapidly advancing AI, with Anthropic CEO…
Essays and reporting on what AI means for mathematics as a profession: a golden age or an end, the jobs and training of mathematicians, AI as a collaborator.
An article joins this feed when it matches these terms. Each one is also a search of its own.