Mathematics researcher at RIMS Kyoto • News of the AHGT France-Japan International Research Network • Arithmetic geometer in many flavours • 驚いた practitioner
Kyoto, Japan
Joined January 2022
- Tweets1.1K
- Following196
- Followers516
- Likes919
Pinned Tweet
Arithmetic Homotopy Geometry
International research year at RIMS Kyoto
04/2027-03/2028
* Homotopy, rationality, and geometry
* The homology-homotopy frontier in arithmetic geometry
* Combinatorial arithmetic geometry
Conf x3; Courses: x7; Workshop: x7
ahgt.math.cnrs.fr/AHG-year_2…
Benjamin Collas retweeted
We run a secret free of cost formalization service for mathematicians
They can include the Lean certificate as appendix accompanying their paper
[email protected]
Poster is a 6x6 non-Euler square
~> 6 configurations of dessins d'enfant on ℙ¹ ∖ {0, 1, ∞}
~> 6 symmetries of S₃ acting on ℙ¹ ∖ {0, 1, ∞} -- z, 1 − z, 1/z, z/(z − 1), 1/(1 − z), (z − 1)/z.
A Latin square in 1 and in 2, but not in (1 and 2).
en.wikipedia.org/wiki/Mutual…
📣 Paris AHGT Days 2026: Homotopy, Geometries and Arithmetic 🇫🇷🇯🇵
Exploring new interfaces in arithmetic homotopy and Galois theory; Nov. 9-10 at IMJ-PRG
More than plausible patterns: deep structures, unexpected connections, and proof.
🔗 ahgt.math.cnrs.fr/activities…
Benjamin Collas retweeted
Most think vibecoding at scale is slop. Here’s a counterexample.
Today we release a 16M-line formalization of the entire Stacks Project, critical infra underlying modern math, with optimized code quality and its highly interconnected structure preserved.
A mathematical city 🌆
Benjamin Collas retweeted
The largest math proof in human history is now computer-verified.
Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry."
About 15,000 pages, built by over 100 mathematicians across generations.
Benjamin Collas retweeted
AGMAI has posted a statement to clarify one aspect of its recent recommendations to AI companies, concerning whether they should nominate specific mathematicians to work on understanding their results. Tl;dr we think it's better if they don't.
agmai.org/#disadvantages-des…
Season B - The homology-homotopy frontier in arithmetic geometry
teapaw.org/BCollasMath/status/211…
Arithmetic, Homotopy, and Geometry :: The homology-homotopy frontier in arithmetic geometry
* Chabauty-Kim, IUT, Motives, Local systems, arithmetic
* Lectures x2, workshops x3, conference x1
* Sept.-Nov. 2027, RIMS Kyoto, JP
With the support of @CNRS_INSMI @CNRSinJapan
Arithmetic, Homotopy, and Geometry :: The homology-homotopy frontier in arithmetic geometry
* Chabauty-Kim, IUT, Motives, Local systems, arithmetic
* Lectures x2, workshops x3, conference x1
* Sept.-Nov. 2027, RIMS Kyoto, JP
With the support of @CNRS_INSMI @CNRSinJapan
Benjamin Collas retweeted
Autumn seminar on Arithmetic Galois theory
in Toyonaka 2026
December 1st, 2026 -- Room E404, Graduate School of Science Osaka University, Toyonaka Osaka, Japan
www4.math.sci.osaka-u.ac.jp/…
Math and AI - Starting this week; online; 2 nivited talk
* p-adic section conjecture (jt w/ @ICMS_Edinburgh)
* Deligne-Drinfel'd conjecture
Benjamin Collas retweeted
もはや星さんと辻村さんしかRIMSプレプリント書いてないのでは疑惑さえ
RIMS-2007
Yuichiro HOSHI and Shota TSUJIMURA
On anabelian geometry in positive characteristic via Artin--Schreier Galois evaluation
October , 2026
kurims.kyoto-u.ac.jp/preprin…
Benjamin Collas retweeted
first proof third batch results are out! full report here: hexagonmath.org/2610.00244
Benjamin Collas retweeted
IMU posted the following response to large number of solutions to mathematical problems announced by OpenAI to LinkedIn
lnkd.in/p/gH62jcjC
📣 Paris AHGT Days 2026: Homotopy, Geometries and Arithmetic 🇫🇷🇯🇵
Exploring new interfaces in arithmetic homotopy and Galois theory; Nov. 9-10 at IMJ-PRG
More than plausible patterns: deep structures, unexpected connections, and proof.
🔗 ahgt.math.cnrs.fr/activities…
Benjamin Collas retweeted
On OpenAI’s release of mathematical results. ~ Advisory Group on Mathematics and Artificial Intelligence. proofsandprompts.com/2026/10…
#AI4Math
