【学術バーQ】AIと数学、証明の舞台裏：AIの活躍の裏側を、AIと一緒に数学で確かめてみた｜途中参加OK・出入り自由 a 学術バーQ: ranaku & tikiti