Loading activity…
@wtgowers
Mathematician. Professeur titulaire de la chaire Combinatoire au Collège de France. Also fellow of Trinity College Cambridge.
AI
Axiom calls the formalization complete and computer-verified, describing original work of about 15,000 pages.
XAI
OpenAI says its claimed refutation of the Exponential Time Hypothesis was formalized in Lean and made public.
AI
Researchers writing in Nature argue today's AI lacks subjective experience and is unlikely to gain it on current trajectories.
AI
A writer describes struggling to assess competing views on AI extinction risk in a post aimed chiefly at mathematicians.
AI
A post questions the “convex hull” analogy and suggests a subgroup generated by existing mathematical knowledge as another metaphor.
AI
A user endorses Kevin Buzzard’s proposal to let machines explore math, then begin the journey toward wherever they get stuck.
AI
The author says one of their main recommendations is to post results as quickly as possible—meaning once certain minimum standards have been met.
AI
A blog author says they welcome the letter signed by 25 Fields medallists and agree with much of it, despite choosing not to sign.
AI
One post argues that AI’s implications for humanity should take priority over concerns about mathematicians’ careers.
