actualites [Automath !]

2026-04-13 The AI Revolution in Math Has Arrived (Konstantin Kakaes)
2026-02-18 Proof Assistants in the Age of AI (Leonardo de Moura)
2025-12-08 Please, don't automate science! (Togelius Blog)
2025 Google and OpenAI Get 2025 IMO Gold
2025-10-30 Google DeepMind joins forces with five major institutions to wage war on a century-old problem with AI
2026-11-18 Google Scholar Labs : AI powered scholar search
2025-11-17 Annals of Formalized Mathematics : un nouvel épi-journal dédié à la formalisation (CNRS)

2026-04-07 Formalization of De Giorgi--Nash--Moser Theory in Lean (Scott Armstrong, Julia Kempe)
2026-03-27 Mathematical methods and human thought in the age of AI (Tanya Klowden, Terence Tao)
2025-11-20 Early science acceleration experiments with GPT-5 (OpenAI)
2025-05-31 A Lean companion to “Analysis I” (Terence Tao)
2025 Forbidden Sidon subsets of perfect difference sets, featuring a human-assisted proof (Boris Alexeev, Dustin G. Mixon, 2025)
- Simplification par la communauté Lean : follow-up
2025-11 Mathematical exploration and discovery at scale (Alpha evolve, Terrence Tao)
2025-09 Mathematical research with GPT-5 : a Malliavin-Stein experiment (arXiv.2509.03065)
2025 Formal Proof of the Four Color Theorem (Georges Gonthier et communauté Coq)

actualites.txt
Last modified: 2026/04/18 08:49
by chafai