>>28
この朝日の記事にはなぜか書いてないんだけど
理解せずに書いているからだろうけど
日経の記事によるとショルツのLeanプロジェクトチームにいた

>ZEN大学やオランダのユトレヒト大学などは31日、コンピューターを使って数学の難問の検証を目指す国際共同研究を始めたと発表した。
>Leanは13年に登場したプログラミング言語で、数学の定理を証明するのに使われている。22年にはLeanを使って現代数学の高度な議論を検証するプロジェクトが完了した。この研究計画の開始を呼びかけたのはショルツ氏だ。
>今回のLANAプロジェクトには、ショルツ氏のプロジェクトで中心的な役割を果たしたユトレヒト大のヨハン・コメリン助教や、カナダのアルバータ大学のアダム・トパーズ准教授が参加する。加藤所長は「世界一のメンバーを集めたと自負している」と意気込む。

も参加するようだ

ショルツのプロジェクトはLiquid Tensor Experimentって奴で
自身の液体ベクトル空間理論の定理9.1の形式的証明
自分でも正しいか自信が持てなかったが形式的に証明した
もう4年近く前の話

特定の立場に偏らずと断ってるのはショルツの仲間が参加しているためだろう
参加者が増えた新プロジェクトの目的そのものだから
加藤文元所長がギャップがあると思っている事に自身が持てなかったから始めた、というところだろうか