第１の目的については当然進展があるんじゃないの
専門家がついてるしlean勢も協力してるし
それこそ「数学なんだから」
数学なのに「完成」があると思ってるのはデンパくんだけ